Title: Formal models and techniques for analyzing security protocols
Subjects: Computer security, Access control, Computer networks, Computers, Security measures, Electronic information resources, Computers, access control, Computer networks, security measures