๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A calculus for control flow analysis of security protocols

โœ Scribed by Mikael Buchholtz; Hanne Riis Nielson; Flemming Nielson

Publisher
Springer-Verlag
Year
2004
Tongue
English
Weight
740 KB
Volume
2
Category
Article
ISSN
1615-5262

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Probabilistic Polynomial-time Calculus
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols: (Preliminary Report)
โœ J. Mitchell; A. Ramanathan; A. Scedrov; V. Teague ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 294 KB

We describe properties of a process calculus that has been developed for the purpose of analyzing security protocols. The process calculus is a restricted form of ฯ€-calculus, with bounded replication and probabilistic polynomial-time expressions allowed in messages and boolean tests. In order to avo

Security and integrity controls for micr
Security and integrity controls for microcomputers: A summary analysis
โœ J.L. Boockholdt ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 819 KB

## This article addresses the impact of microcomputers on information system integrity and security and suggests modifications to system controls appropriate to both standalone and networked microcomputers. Common business applications are identified and associated threats described. Appropriate