Proving Authentication Properties in the Protocol Derivation Assistant (Proceedings of FCS−ARSPA 2006, 2006)

(untitled) - Anlauff, M; Pavlovic, D; Waldinger, R; Westfold, S