A Calculus for Security Bootstrapping in Distributed Systems

  title={A Calculus for Security Bootstrapping in Distributed Systems},
  author={Ueli Maurer and Pierre E. Schmid},
  journal={Journal of Computer Security},
A calculus of channel security properties is presented which allows the analysis and comparison of protocols for establishing secure channels in a distributed open system at a high level of abstraction. A channel is characterized by its direction, its time of availability and its security properties. Cryptographic primitives as well as trust relations are interpreted as transformations for channel security properties, and a cryptographic protocol can be viewed as a sequence of such… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 26 references

New directions in cryptography

  • W. Di e, M. E. Hellman
  • IEEE Transactions on Information Theory,
  • 1976
Highly Influential
5 Excerpts

Network and Internetwork Security

  • W. Stallings
  • Englewood Cli s, NJ: Prentice Hall
  • 1995

Similar Papers

Loading similar papers…