6 citations · 8 across the 15 of their papers we have counts for
1 paper · 1 filter
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…