"29" Result
Sort By:
Automated reasoning for security protocol analysis and issues in the theory of security: revised selected papers
by Armando, Alessandro, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, (Paphos)
fromLecture Notes in Computer Science
0
Type: Book