Normal view
MARC view
Cryptography Congresses(Topical Term)
Machine generated authority record.
Work cat.: (UIAM)503469: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus) 7420, Automated reasoning for security protocol analysis and issues in the theory of security :