Operational semantics and verification of security protocols 并列题名:Operational semantics and verification of security protocols Design and analysis of security protocols