Normal view
MARC view
Viganò, Luca (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. 36132, Foundations and applications of security analysis :, ©2009.