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 10 of 10 records

view refined list in

export refined list as

showing all 10 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- 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
no results

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
no results

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
no results

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
no results

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.