Interrogator
From MaRDI portal
Software:51727
swMATH36025MaRDI QIDQ51727FDOQ51727
Author name not available (Why is that?)
Cited In (8)
- Weakening the perfect encryption assumption in Dolev-Yao adversaries
- A Formal Language for Cryptographic Pseudocode
- A calculus for cryptographic protocols: The spi calculus
- An inductive approach to strand spaces
- The reactive simulatability (RSIM) framework for asynchronous systems
- Cryptographic protocol security analysis based on bounded constructing algorithm
- A collusion problem and its solution
- Unifying simulatability definitions in cryptographic systems under different timing assumptions
This page was built for software: Interrogator
