Overview

Computer security is an established field of computer science of both theoretical and practical significance. In recent years, there has been increasing interest in logic-based foundations for various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application to confidentiality policies, system composition, and covert channel analysis.

The workshop FCS-ARSPA'06 is the fusion of two workshops. The workshop FCS continues a tradition, initiated with the Workshops on Formal Methods and Security Protocols (FMSP) in 1998 and 1999, then with the Workshop on Formal Methods and Computer Security (FMCS) in 2000, and finally with the LICS satellite Workshop on Foundations of Computer Security (FCS) in 2002 through 2005, of bringing together formal methods and the security community. The ARSPA workshop is the third in a series of workshops on Automated Reasoning for Security Protocol Analysis, bringing together researchers and practitioners from both the security and the formal methods communities, from academia and industry, who are working on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. The first two ARSPA workshops were held as satellite events of IJCAR'04 and of ICALP'05, respectively.

The aim of the joint workshop FCS-ARSPA'06 is to provide a forum for continued activity in these areas, to bring computer security researchers in closer contact with the LICS community, and to give LICS attendees an opportunity to talk to experts in computer security. We thus solicit submissions of papers both on mature work and on work in progress. We are interested both in new results in theories of computer security and also in more exploratory presentations that examine open questions and raise fundamental concerns about existing theories, as well as in new results on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols.
Possible topics include, but are not limited to:

Automated reasoning techniques Composition issues Formal specification Foundations of verification Information flow analysis Language-based security Logic-based design Program transformation Security models Static analysis Statistical methods Tools Trust management

for

Access control and resource usage control Authentication Availability and denial of service Covert channels Confidentiality Integrity and privacy Intrusion detection Malicious code Mobile code Mutual distrust Privacy Security policies Security protocols

Program

• FCS-ARSPA program
• FCS-ARSPA accepted papers

Invited Speakers

• Tuesday, August 15th, 09:00‑10:00
  Andy Gordon (Microsoft Research)
  Provable Implementations of Security Protocols [ppt]
• Wednesday, August 16th, 09:00‑10:00
  Martin Abadi (University of California at Santa Cruz and Microsoft Research)
  Access Control in a Core Calculus of Dependency [ppt]

Publication

• FCS-ARSPA informal proceedings
• Workshop participants will be invited to submit full versions of their papers to a special issue of Information and Computation, which will be open also to non-participants, in all cases with fresh reviewing.

Program Committee

• Alessandro Armando (Università di Genova, Italy)
• Jorge R. Cuellar (SIEMENS AG, Munich, Germany)
• Anupam Datta (Stanford University, USA)
• Pierpaolo Degano (Universita` di Pisa, Italy; co-chair)
• Pablo Giambiagi (Swedish Institute of Computer Science, Sweden)
• Virgil Gligor (University of Maryland, USA)
• Roberto Gorrieri (Universita` di Bologna, Italy)
• Carl A. Gunter (University of Illinois at Urbana-Champaign, USA)
• Joshua Guttman (Mitre, USA)
• Ralf Küsters (Christian-Albrechts-Universität zu Kiel, Germany; co-chair)
• Ninghui Li (Purdue University, USA)
• Sjouke Mauw (University of Eindhoven, The Netherlands)
• Peter Ryan (University of Newcastle, UK)
• Luca Viganò (ETH Zurich, Switzerland; co-chair)
• Laurent Vigneron (INRIA-LORRAINE, Nancy, France)
• Bogdan Warinschi (INRIA-LORRAINE, Nancy, France)
• Steve Zdancewic (University of Pennsylvania, USA; co-chair)

FCS Steering Committee

• Martín Abadi, University of California at Santa Cruz, USA
• Joshua Guttman, MITRE, USA
• John Mitchell, Stanford University, USA
• Andrei Sabelfeld (chair), Chalmers, Sweden
• Andre Scedrov, University of Pennsylvania, USA