Formalizing Physical Security Properties

Bibliographische Detailangaben
Hauptverfasser: Meadows, C, Pavlovic, D
Format: Conference item
Veröffentlicht: Springer Verlag 2013