![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
FMSE@CCS 2004: Washington, DC, USA
- Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner:
Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004. ACM 2004, ISBN 1-58113-971-3
Logics and security
- Michele Bugliesi, Riccardo Focardi, Matteo Maffei:
Authenticity by tagging and typing. 1-12 - Gilles Barthe
, Leonor Prensa Nieto:
Formally verifying information flow type systems for concurrent and thread systems. 13-22 - Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
:
Timed model checking of security protocols. 23-32
Security & analysis I
- Phan Minh Dung, Phan Minh Thang:
Stepwise development of security protocols: a speech act-oriented approach. 33-44 - Lingyu Wang, Duminda Wijesekera, Sushil Jajodia:
A logic-based framework for attribute based access control. 45-55 - Nan Zhang, Mark Ryan
, Dimitar P. Guelev:
Synthesising verified access control systems in XACML. 56-65
Security & analysis II
- Tomás E. Uribe, Steven Cheung:
Automatic analysis of firewall and network intrusion detection system configurations. 66-74 - Thuong Doan, Steven A. Demurjian, T. C. Ting, Andreas Ketterl:
MAC and UML for secure software design. 75-85 - Brant Hashii:
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture. 86-95
![](https://dblp1.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.