Normal view
MARC view
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus), Automated reasoning for security protocol analysis and issues in the theory of security :, 2010.