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
Copyright © Mon Mar 15 04:00:59 2010
by Michael Ley (ley@uni-trier.de)
