F. Javier Thayer

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2010

Metric Strand Spaces for Locale Authentication Protocols.

[BibT_eX]

[DOI]

Vipin Swarup

Proceedings of the Trust Management IV - 4th IFIP WG 11.11 International Conference, 2010

2007

Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions.

[BibT_eX]

[DOI]

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Searching for Shapes in Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Completeness of the Authentication Tests.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2007

2006

Searching for Shapes in Cryptographic Protocols (extended version).

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

2004

The faithfulness of abstract protocol analysis: Message authentication.

[BibT_eX]

[DOI]

Lenore D. Zuck

J. Comput. Secur., 2004

Trust Management in Strand Spaces: A Rely-Guarantee Method.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2004

2002

Authentication tests and the structure of bundles.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

2000

Authentication Tests.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

Authentication and Confidentiality via IPSEC.

[BibT_eX]

[DOI]

Amy L. Herzog

Proceedings of the Computer Security, 2000

Protocol Independence through Disjoint Encryption.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999

Strand Spaces: Proving Security Protocols Correct.

[BibT_eX]

[DOI]

J. Comput. Secur., 1999

Trust: Benefits, Models, and Mechanisms.

[BibT_eX]

[DOI]

Vipin Swarup

Proceedings of the Secure Internet Programming, 1999

Mixed Strand Spaces.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998

Strand Spaces: Why is a Security Protocol Correct?

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy, 1998

Honest Ideals on Strand Spaces.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

1996

IMPS: An Updated System Description.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Context in Mathematical Reasoning and Computation.

[BibT_eX]

[DOI]

J. Symb. Comput., 1995

1994

Proof Script Pragmatics in IMPS.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

IMPS: An Interactive Mathematical Proof System.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Reasoning with Contexts.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

IMPS: System Description.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

Little Theories.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

1989

Security Properties Consistent with the Testing Semantics for Communicating Processes.

[BibT_eX]

[DOI]

Dale M. Johnson

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

Stating Security Requirements with Tolerable Sets.

[BibT_eX]

[DOI]

Dale M. Johnson

ACM Trans. Comput. Syst., 1988

Security and the Composition of Machines.

[BibT_eX]

Dale M. Johnson