• Dates
• Accepted papers
• Programme
• Registration & Dorm
• Hotel Accommodations

• Venue
• Travel Information
• Local Information
• Map

• LICS
• CSF

• Main
• SecReT 2007
• SecReT 2006

Accepted papers

• Musab AlTurki, Jose Meseguer and Carl Gunter.
  Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol
• Steve Barker, Clara Bertolissi and Maribel Fernandez.
  Action Control by Term Rewriting
• Horatiu Cirstea, Pierre-Etienne Moreau and Anderson Santana de Oliveira.
  Rewrite Based Specification of Access Control Policies
• Claude Kirchner, Helene Kirchner and Anderson Santana de Oliveira.
  Analysis of Rewrite-Based Access Control Policies
• Pascal Lafourcade.
  Relation between Unification Problem and Intruder Deduction Problem
• John Mitchell, Arnab Roy and Mukund Sundararajan.
  An Automated Approach for Proving PCL invariants