Proving Authentication Properties in the Protocol Derivation Assistant
Matthias Anlauff‚ Dusko Pavlovic‚ Richard Waldinger and Stephen Westfold
Details
| Book Title |
Proceedings of FCS−ARSPA 2006 |
| Editor |
Pierpaolo Degano and Ralph Küsters and Luca Vigano |
| Publisher |
ACM |
| Year |
2006 |
Links
Related pages
|
People |