Skip to main content

Safe Simplifying Transformations for Security Protocols

Mei Lin Hui and Gavin Lowe

Book Title
CSFW
Pages
32−43
Year
1999