Fault−Preserving Simplifying Transformations for Security Protocols
Mei Lin Hui and Gavin Lowe
Details
| Journal |
Journal of Computer Security |
| Number |
1/2 |
| Pages |
3−46 |
| Volume |
9 |
| Year |
2001 |
Links
Related pages
|
People |