Vista normal
Vista MARC
Lowe, Gavin. editor. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)68681: Armando, Alessandro. editor. 169856, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security