scientific article; zbMATH DE number 2090144

zbMath1064.68547MaRDI QIDQ4808837

Michael Backes, Birgit Pfitzmann, Christian Jacobi

Publication date: 12 August 2004

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

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

zbMATH Keywords

cryptographysecurityformal verificationPVSsimulatability

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (4)

The reactive simulatability (RSIM) framework for asynchronous systems ⋮ Unifying simulatability definitions in cryptographic systems under different timing assumptions ⋮ A survey of symbolic methods in computational analysis of cryptographic systems ⋮ Computational Probabilistic Non-interference

Uses Software

• PVS

This page was built for publication: