Safe Simplifying Transformations for Security Protocols
Mei Lin Hui and Gavin Lowe
Details
| Book Title |
CSFW |
| Pages |
32−43 |
| Year |
1999 |
Links
Related pages
|
People |
Mei Lin Hui and Gavin Lowe
| Book Title |
CSFW |
| Pages |
32−43 |
| Year |
1999 |
|
People |