Volume 234,
March 2009
Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008),
Pittsburgh,
PA,
USA,
22 June 2008
- Daniel Dougherty, Santiago Escobar:
Preface.
1-2
Electronic Edition (link) BibTeX
- Musab AlTurki, José Meseguer, Carl A. Gunter:
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol.
3-18
Electronic Edition (link) BibTeX
- Steve Barker, Clara Bertolissi, Maribel Fernández:
Action Control by Term Rewriting.
19-36
Electronic Edition (link) BibTeX
- Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira:
Rewrite Based Specification of Access Control Policies.
37-54
Electronic Edition (link) BibTeX
- Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira:
Analysis of Rewrite-Based Access Control Policies.
55-75
Electronic Edition (link) BibTeX
- Jonathan K. Millen:
Rewriting Techniques in the Constraint Solver.
77-91
Electronic Edition (link) BibTeX
- John C. Mitchell, Arnab Roy, Mukund Sundararajan:
An Automated Approach for Proving PCL Invariants.
93-113
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:30 2009
by Michael Ley (ley@uni-trier.de)
