default search action
1st SecReT@ICALP 2006: Venice, Italy
- Maribel Fernández, Claude Kirchner:
Proceedings of the First International Workshop on Security and Rewriting Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006. Electronic Notes in Theoretical Computer Science 171(4), Elsevier 2007 - Maribel Fernández, Claude Kirchner:
Preface. 1-2 - Tom Chothia, Dominic Duggan, Ye Wu:
An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). 3-21 - Santiago Escobar, Catherine Meadows, José Meseguer:
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. 23-36 - Pascal Lafourcade:
Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption. 37-57 - Anderson Santana de Oliveira:
Rewriting-Based Access Control Policies. 59-72 - Nobuko Yoshida, Vasco Thudichum Vasconcelos:
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. 73-93
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.