Secure protocol composition
Anupam Datta‚ Ante Derek‚ John Mitchell and Dusko Pavlovic
Details
| Journal |
E. Notes in Theor. Comp. Sci. |
| Pages |
87–114 |
| Year |
2003 |
Links
Related pages
|
People |