default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd SecReT@LICS/CSF 2008: Pittsburgh, PA, USA
- Daniel J. Dougherty, Santiago Escobar:
Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008. Electronic Notes in Theoretical Computer Science 234, Elsevier 2009 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-19 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
