Results 211 to 220 of about 1,277,920 (244)
Some of the next articles are maybe not open access.
Verification of cryptographic protocols: An experiment
1997The objective of this paper is to present the verification of some confidentiality features of the SESAME protocol, an extension of Kerberos. We do that by using the formal approach presented in [7]. This approach is based on the use of state-based general purpose formal methods.
Marc Mehdi Ayadi, Dominique Bolignano
openaire +1 more source
Cryptographic protocols for auctions and bargaining
1994Modern mathematical cryptography provides many protocols for designing social and economic institutions. This article deals with cryptographic protocols for auctions, bargaining and arbitration. The main contribution of the protocols is in the elimination of specific types of behaviour which otherwise might undermine the desirable properties of the ...
openaire +1 more source
Autoformalization of Cryptographic Protocols
2025 IEEE International Conference on Data Mining Workshops (ICDMW)Lauren Brandt +2 more
openaire +1 more source
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols
IEEE Security and Privacy, 2022Ralf Sasse, Cas Cremers, David Basin
exaly
Formal methods for cryptographic protocol analysis: emerging issues and trends
IEEE Journal on Selected Areas in Communications, 2003C Meadows
exaly
A Core Calculus for Equational Proofs of Cryptographic Protocols
2023Xiong Fan, John Morrisett, Elaine Shi
exaly
Prudent engineering practice for cryptographic protocols
IEEE Transactions on Software Engineering, 1996M Abadi
exaly
Hidden assumptions in cryptographic protocols
IEE Proceedings E: Computers and Digital Techniques, 1990C Boyd
exaly