A derivation system for security protocols and its logical formalization (0)

by A Datta, A Derek, J C Mitchell, D Pavlovic
Venue:In Proceedings of 16th IEEE Computer Security Foundations Workshop