Intensional specifications of security protocols

@inproceedings{Roscoe1996IntensionalSO,
  title={Intensional specifications of security protocols},
  author={A. W. Roscoe},
  booktitle={CSFW},
  year={1996}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 68 extracted citations

Security Protocols for Secret Santa

Security Protocols Workshop • 2010
View 4 Excerpts
Highly Influenced

A Trace Logic for Local Security Properties

Electr. Notes Theor. Comput. Sci. • 2005
View 5 Excerpts
Highly Influenced

Authentication by correspondence

IEEE Journal on Selected Areas in Communications • 2003
View 3 Excerpts
Highly Influenced

Why Are Business Processes Not Secure?

Number Theory and Cryptography • 2013
View 1 Excerpt

Similar Papers

Loading similar papers…