FMSE 2006: Alexandria, VA, USA

Marianne Winslett, Andrew D. Gordon, David Sands (Eds.): Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006. ACM 2006, ISBN 1-59593-550-9

Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee:
Securing the drop-box architecture for assisted living. 1-12
Silvia Crafa, Sabina Rossi:
P-congruences as non-interference for the pi-calculus. 13-22
Jan Cederquist, Muhammad Torabi Dashti:
An intruder model for verifying liveness in security protocols. 23-32
Geoffrey Smith:
Secure information flow with random assignment and encryption. 33-44
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter:
Defeasible security policy composition for web services. 45-54
Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert:
NETRA: : seeing through access control. 55-66
Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten:
Bridging the gap between web application firewalls and web applications. 67-77