Proceedings

2006 Federated Logic Conference (FLoC’06). The workshop FCS-ARSPA’06 is the fusion of two workshops. The workshop FCS continues the tradition of bringing together formal methods and the security community, initiated with the Workshops on Formal Methods and Security Protocols (FMSP) in 1998 and 1999, and then continued 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. The ARSPA workshop is the third in a series of workshops on Automated Reasoning for Security Protocol Analysis, with the aim of fostering interactions between researchers and practitioners from both the security and the formal methods communities, from academia and industry; the workshop’s main topics are the development and application of 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, and their proceedings have been published as volume