19 citations · 86 across the 21 of their papers we have counts for
1 paper · 2 filters
Alessio Mansutti, Marino Miculan
The spi-calculus is a formal model for the design and analysis of cryptographic protocols: many security properties, such as authentication and strong confidentiality, can be reduc…