Open Access
Reasoning about Cryptographic Protocols.
Marie-Jeanne Toussaint,Pierre Wolper +1 more
- 01 Jan 1989
pp 245
12
About: The article was published on 01 Jan 1989. and is currently open access. The article focuses on the topics: Cryptographic protocol.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A note on the use of timestamps as nonces
TL;DR: Kehne, Schonwalder, and Langendorfer have proposed a nonce-based protocol for multiple authentications that they claim improves upon the Kerberos protocol because it does not depend on the presence of synchronized clocks.
166
On a limitation of BAN logic
Colin Boyd,Wenbo Mao +1 more
- 02 Jan 1994
TL;DR: This paper shows that it is easy for the BAN logic to approve protocols that are in practice unsound, and illustrated with two examples.
Variations on the themes of message freshness and replay-or the difficulty in devising formal methods to analyze cryptographic protocols
L. Gong
- 15 Jun 1993
TL;DR: This exercise demonstrates the potential complexity in devising formal methods to analyze cryptographic protocols and variations on the choice and the usage of freshness identifiers, and the various forms of replay attack.
75
AUTLOG-an advanced logic of authentication
V. Kessler,G. Wedel +1 more
- 14 Jun 1994
TL;DR: A modified version of the BAN logic which is implemented in PROLOG is presented and an interesting difference is shown between two protocols which seem to be very similar.
56
Logical Omniscience in the Semantics of BAN Logics
Mika Cohen,Mads Dam +1 more
- 01 Jan 2003
TL;DR: An apparatus for transforming pixel data from a data bus into an expected format for storage in a frame buffer has a first multiplexor, a secondmultiplexor and a controller.
Related Papers (5)
Aaron Hunter,Delgrande, James, P.,Torsten Grote +2 more
- 01 Jan 2009
Alec Yasinsac
- 01 Jan 1996
Florian Böhl
- 01 Jan 2014