[isabelle] Special Issue of Information and Computation on 'Computer Security: Foundations and Automated Reasoning'



(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/description).

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)






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.