FMSE 2004: Washington, DC, USA

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