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
maintained by Schloss Dagstuhl LZI, founded at University of Trier