Normal view
MARC view
Mödersheim, Sebastian (Personal 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 (2011 : Saarbrücken, Germany) 44672, Theory of security and applications :, ©2012.