English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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 Security, and with FCS, the workshop on Foundations of Computer Security. ARSPA was set up to bring together researchers and practitioners working on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. WITS is the official annual workshop organized by the IFIP Working Group 1.7 on “Theoretical Foundations of Security Analysis and Design”, established to promote the investigation of the theoretical foundations of security, discovering and promoting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security related applications. Finally, the workshop FCS continues a tradition, initiated with the Workshops on Formal Methods and Security Protocols (FMSP) in 1998 and 1999, continued with the Workshop on Formal Methods and Computer Security (FMCS) in 2000, and finally with the LICS

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