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, Rafael Alpízar:
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
Last update Tue May 22 23:23:28 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
