Title: Semantics And Verification Of Security Protocols
Subjects: Computer networks, security measures, Computer network protocols, Computer security, Computer networks, Security measures, Semantic computing