A compositional logic for proving security properties of protocols
Nancy Durgin‚ John Mitchell and Dusko Pavlovic
Details
| Journal |
J. of Comp. Security |
| Number |
4 |
| Pages |
677–721 |
| Volume |
11 |
| Year |
2004 |
Links
Related pages
|
People |