Evaluation technique in the spicalculus for cryptographic protocols

Keywords

Bisimulation, Cryptographic protocol, Decidability, Computer science, Cryptographic primitive

References

• A Survey of Authentication Protocol LiteratureJohn A. Clark — 2010
• Towards Automatic Bisimilarity Checking in the Spi CalculusAnders Strandløv Elkjær, Michael Höhle, Hans Hüttel — 2002
• Analyzing encryption protocols using formal verification techniquesRichard A. Kemmerer — 1989
• A Calculus for Cryptographic Protocols: The spi CalculusMartı́n Abadi, Andrew D. Gordon — 1999
• Applying Formal Methods to the Analysis of a Key Management ProtocolCatherine Meadows — 1992
• Two facets of authenticationM. Abadi — 1998
• A calculus for cryptographic protocols: the spi calculusMartı́n Abadi, Andrew D. Gordon — 1997
• A logic of authenticationMichael T. Burrows, Martı́n Abadi, Roger M. Needham — 1990
• A Calculus of Mobile Processes, IIRobin Milner, Joachim Parrow, David Walker — 1992
• Three systems for cryptographic protocol analysisRichard A. Kemmerer, Catherine Meadows, Jonathan K. Millen — 1994
• Proving properties of security protocols by inductionLawrence C. Paulson — 1997
• Proof techniques for cryptographic processesMichele Boreale, Rocco De Nicola, Rosario Pugliese — 1999
• Deciding Framed BisimilarityHans Hüttel — 2003
• CVS: a compiler for the analysis of cryptographic protocolsAntonio Durante, Riccardo Focardi, Roberto Gorrieri — 1999
• Automated analysis of cryptographic protocols using Mur/spl phi/John C. Mitchell, Murray Mitchell, Ulrich Stern — 1997
• What do we mean by entity authentication?Dieter Gollmann — 1996
• Deciding Framed BisimilarityHans Hüttel — 2002
• Communicating and mobile systems - the Pi-calculusRobin Milner — 1999
• Proof Techniques for Cryptographic ProcessesMichele Boreale, Rocco De Nicola, Rosario Pugliese — 2001
• Testing Equivalence for ProcessesR. Nicola, M. Hennessy — 1983

Cited by

• Enhancing formal specification and verification of e-commerce protocolHasan Al-Refai, Khaldoun Batiha — 2017
• Improved SPI Calculus for Reasoning on Cryptographic ProtocolsHasan Al-Refai, Khaldoun Batiha, A. Alawneh — 2014

Related papers

• A Calculus for Cryptographic Communication Protocols-The CCP CalculusLuming Fang, Wang Hang-jun — 2006
• Theory and tool support for the formal verification of cryptographic protocolsSébastien Briais — 2007
• Using Admissible Interference to Detect Denial of Service VulnerabilitiesStéphane Lafrance, John Mullins — 2003
• Using equivalence-checking to verify robustness to denial of serviceStéphane Lafrance — 2006
• A structured operational semantic modelling of the Dolev-Yao threat environment and its composition with cryptographic protocolsWenbo Mao — 2005