default search action

combined dblp search
author search
venue search
publication search

ask others

FMSE@FMSE 2007: Fairfax, VA, USA

> Home > Conferences and Workshops > FMSE
> 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/2007fmse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2007fmse
Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel:
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. ACM 2007, ISBN 978-1-59593-887-9
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/McLean07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/McLean07
John McLean:
Formal methods in security engineering: where we've been, where we are, where we need to go. 1
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AmtoftB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AmtoftB07
Torben Amtoft, Anindya Banerjee:
Verification condition generation for conditional information flow. 2-11
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BrunsDH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BrunsDH07
Glenn Bruns, Daniel S. Dantas, Michael Huth:
A simple and expressive semantic framework for policy composition in access control. 12-21
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CaprettaSFM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CaprettaSFM07
Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin:
Formal correctness of conflict detection for firewalls. 22-30
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BrunelCCSB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BrunelCCSB07
Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix:
Security policy compliance with violation management. 31-40
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Lewis07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Lewis07
Jeff Lewis:
Cryptol: specification, implementation and verification of high-grade cryptographic applications. 41
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SinghRRSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SinghRRSW07
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren:
Security policy analysis using deductive spreadsheets. 42-50
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BackesCFM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BackesCFM07
Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei:
A calculus of challenges and responses. 51-60
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/KurtzKW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/KurtzKW07
Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke:
Selecting theories and nonce generation for recursive protocols. 61-70
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/OliveiraWKK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/OliveiraWKK07
Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner:
Weaving rewrite-based access control policies. 71-80

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.