scientific article; zbMATH DE number 1962854

zbMath1035.68509MaRDI QIDQ4418691

Michael Backes, Christian Jacobi

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2607/26070675.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationcryptographysemanticsspecificationPVSsimulatability

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Related Items

Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later ⋮ The reactive simulatability (RSIM) framework for asynchronous systems ⋮ Unifying simulatability definitions in cryptographic systems under different timing assumptions ⋮ Weakening the perfect encryption assumption in Dolev-Yao adversaries ⋮ On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography ⋮ Unnamed Item ⋮ Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model ⋮ A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol ⋮ Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos ⋮ Soundness of Formal Encryption in the Presence of Key-Cycles

Uses Software

• PVS