A derivation system and compositional logic for security protocols
Anupam Datta, Ante Derek, John Mitchell and Dusko Pavlovic
Details
| Journal |
J. of Comp. Security |
| Pages |
423—482 |
| Volume |
13 |
| Year |
2005 |
Links
Related pages
|
People |