External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 171, Issue 4

    1 -- 2Maribel Fernández, Claude Kirchner. Preface
    3 -- 21Tom Chothia, Dominic Duggan, Ye Wu. An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract)
    23 -- 36Santiago Escobar, Catherine Meadows, José Meseguer. Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    37 -- 57Pascal Lafourcade. Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption
    59 -- 72Anderson Santana de Oliveira. Rewriting-Based Access Control Policies
    73 -- 93Nobuko Yoshida, Vasco Thudichum Vasconcelos. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
    runs on