default search action

combined dblp search
author search
venue search
publication search

ask others

FMSE@CCS 2004: Washington, DC, USA

> Home > Conferences and Workshops > FMSE
> Home > Conferences and Workshops > CCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/ccs/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2004
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

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BugliesiFM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BugliesiFM04
Michele Bugliesi, Riccardo Focardi, Matteo Maffei:
Authenticity by tagging and typing. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BartheN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BartheN04
Gilles Barthe, Leonor Prensa Nieto:
Formally verifying information flow type systems for concurrent and thread systems. 13-22
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CorinEHM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CorinEHM04
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader:
Timed model checking of security protocols. 23-32

Security & analysis I

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DungT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DungT04
Phan Minh Dung, Phan Minh Thang:
Stepwise development of security protocols: a speech act-oriented approach. 33-44
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/WangWJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/WangWJ04
Lingyu Wang, Duminda Wijesekera, Sushil Jajodia:
A logic-based framework for attribute based access control. 45-55
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ZhangRG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ZhangRG04
Nan Zhang, Mark Ryan, Dimitar P. Guelev:
Synthesising verified access control systems in XACML. 56-65

Security & analysis II

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/UribeC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/UribeC04
Tomás E. Uribe, Steven Cheung:
Automatic analysis of firewall and network intrusion detection system configurations. 66-74
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DoanDTK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DoanDTK04
Thuong Doan, Steven A. Demurjian, T. C. Ting, Andreas Ketterl:
MAC and UML for secure software design. 75-85
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Hashii04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Hashii04
Brant Hashii:
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture. 86-95

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.