(apologies for multiple posting)

Special Issue of Information and Computation on Computer Security: Foundations and Automated Reasoning

http://www.avispa-project.org/arspa

*********************** *** CALL FOR PAPERS *** ***********************

BACKGROUND AND SCOPE ====================

In connection with the

Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis

FCS-ARSPA'06,

a satellite event of LICS'06 as part of FLoC 2006, we are guest-editing a Special Issue of Information and Computation devoted to original papers on foundations and formal methods in computer security.

Contributions are welcomed on the following topics and related ones:

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

SUBMISSION ==========

Authors should submit their papers electronically, in portable document format (pdf) or postscript (ps), by sending an email with subject "I&C submission" to the address

fcs-arspa06 - at - lists.inf.ethz.ch

with the file of the paper as an attachment, by November 12, 2006.

The following information should be included in the body of the email, in plain text: - paper title - author names - coordinates of the corresponding author - abstract of the paper

The cover page of the submission should also include this information. Please, do not send files formatted for word processing packages (e.g., Microsoft Word or Wordperfect files).

Authors are strongly encouraged to use Elsevier Science's document class 'elsart', or alternatively the standard document class 'article'. The Elsevier LaTeX package (including detailed instructions for LaTeX preparation) can be obtained from Elsevier's web site: http://www.elsevier.com/locate/latex (see also http://www.elsevier.com/wps/find/journaldescription.cws_home/505625/descript...).

Submitted papers must be original and not submitted for journal publication elsewhere. The submitted papers will be subject to the standard journal refereeing process.

We kindly ask the authors to send us an abstract of their submission by November 5, 2006.

DEADLINES =========

Submission of abstract: November 5, 2006 Submission of paper: November 12, 2006

EDITORS =======

Pierpaolo Degano (Universita` di Pisa, Italy) Ralf Kuesters (ETH Zurich, Switzerland) Luca Vigano` (Universita` di Verona, Italy) Steve Zdancewic (University of Pennsylvania, USA)