Secure protocol composition (extended abstract)
Anupam Datta, Ante Derek, John C. Mitchell and Dusko Pavlovic infobook title | Proceedings of FMCS 2003 |
editor | Michael Backes and David Basin and Michael Waidner |
pages | 11—23 |
publisher | ACM |
year | 2003 |
links
BibTeX
related pages
|
