Formalizing Physical Security Properties

Detalhes bibliográficos
Principais autores: Meadows, C, Pavlovic, D
Formato: Conference item
Publicado em: Springer Verlag 2013