default search action

combined dblp search
author search
venue search
publication search

ask others

FMSE 2006: Alexandria, VA, USA

> Home > Conferences and Workshops > FMSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ccs/2006fmse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2006fmse
Marianne Winslett, Andrew D. Gordon, David Sands:
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
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/MaySGL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/MaySGL06
Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee:
Securing the drop-box architecture for assisted living. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CrafaR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CrafaR06
Silvia Crafa, Sabina Rossi:
P-congruences as non-interference for the pi-calculus. 13-22
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CederquistD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CederquistD06
Jan Cederquist, Muhammad Torabi Dashti:
An intruder model for verifying liveness in security protocols. 23-32
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Smith06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Smith06
Geoffrey Smith, Rafael Alpízar:
Secure information flow with random assignment and encryption. 33-44
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LeeBOG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LeeBOG06
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter:
Defeasible security policy composition for web services. 45-54
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/NaldurgSRL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/NaldurgSRL06
Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert:
NETRA: : seeing through access control. 55-66
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DesmetPJV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DesmetPJV06
Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten:
Bridging the gap between web application firewalls and web applications. 67-77

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.