Theoretical Computer Science, Volume 367

Volume 367, Numbers 1-2, November 2006

Automated Reasoning for Security Protocol Analysis, Automated Reasoning for Security Protocol Analysis Contributions

Volume 367, Number 3, December 2006

Preface Fundamental study Contributions
a service of Schloss Dagstuhl - Leibniz Center for Informatics