![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
FMSE@FMSE 2007: Fairfax, VA, USA
- 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 - John McLean:
Formal methods in security engineering: where we've been, where we are, where we need to go. 1 - Torben Amtoft, Anindya Banerjee:
Verification condition generation for conditional information flow. 2-11 - Glenn Bruns, Daniel S. Dantas, Michael Huth:
A simple and expressive semantic framework for policy composition in access control. 12-21 - Venanzio Capretta
, Bernard Stepien, Amy P. Felty, Stan Matwin
:
Formal correctness of conflict detection for firewalls. 22-30 - Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix:
Security policy compliance with violation management. 31-40 - Jeff Lewis:
Cryptol: specification, implementation and verification of high-grade cryptographic applications. 41 - Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren:
Security policy analysis using deductive spreadsheets. 42-50 - Michael Backes, Agostino Cortesi
, Riccardo Focardi
, Matteo Maffei:
A calculus of challenges and responses. 51-60 - Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke:
Selecting theories and nonce generation for recursive protocols. 61-70 - Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner:
Weaving rewrite-based access control policies. 71-80
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.