Preface of Special Issue on 'Computer Security:Foundations and Automated Reasoning'

摘要

The papers in this volume form a special issue on "Computer Security: Foundations and Automated Reasoning". This special issue is part of a series of special issues, traditionally associated with the ARSPA workshop on Automated Reasoning for Security Protocol Analysis. The 2008 ARSPA workshop was organized in conjunction with WITS, the Workshop on Issues in the Theory of