scientific article; zbMATH DE number 1487486

zbMath0976.94029MaRDI QIDQ4493893

No author found.

Publication date: 1999

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

zbMATH Keywords

authenticationobservational equivalenceprobabilistic process calculus

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70) Authentication, digital signatures and secret sharing (94A62)

Related Items

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols, Universally composable symbolic security analysis, The reactive simulatability (RSIM) framework for asynchronous systems, Automated verification of selected equivalences for security protocols, A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols, Unifying simulatability definitions in cryptographic systems under different timing assumptions, A computational interpretation of Dolev-Yao adversaries, On the relationships between notions of simulation-based security, Unnamed Item, Protocol Composition Logic (PCL), Machine-Checked Security Proofs of Cryptographic Signature Schemes