Formal foundations of computer security (2008)

by M Bickford, R L Constable
Venue:In NATO Science for Peace and Security Series, D: Information and Communication Security