Formal Foundations of Computer Security

unofficial copies [PDF],

by Mark Bickford and Robert L. Constable

NATO Science for Peace and Security Series, D: Information and Communication Security, Vol. 14, pages 29 - 52, 2008.