Volume 234, March 2009

Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008

• 
  Daniel J. Dougherty, Santiago Escobar: Preface. 1-2
• 
  Musab AlTurki, José Meseguer, Carl A. Gunter: Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. 3-18
• 
  Steve Barker, Clara Bertolissi, Maribel Fernández: Action Control by Term Rewriting. 19-36
• 
  Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira: Rewrite Based Specification of Access Control Policies. 37-54
• 
  Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira: Analysis of Rewrite-Based Access Control Policies. 55-75
• 
  Jonathan K. Millen: Rewriting Techniques in the Constraint Solver. 77-91
• 
  John C. Mitchell, Arnab Roy, Mukund Sundararajan: An Automated Approach for Proving PCL Invariants. 93-113