Anlauff, M., Pavlovic, D., Waldinger, R., and Westfold, S. Proving Authentication Properties in the Protocol Derivation Assistant, in FLoC-06 Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, Springer Lecture Notes in Computer Science, August 2006.
Share this



