Interrogator
From MaRDI portal
Software:51727
No author found.
Related Items (8)
A collusion problem and its solution ⋮ An inductive approach to strand spaces ⋮ 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 ⋮ Cryptographic protocol security analysis based on bounded constructing algorithm ⋮ A calculus for cryptographic protocols: The spi calculus ⋮ A Formal Language for Cryptographic Pseudocode
This page was built for software: Interrogator
