[isabelle] Special Issue of Information and Computation on 'Computer Security: Foundations and Automated Reasoning'
- To: isabelle-users at cl.cam.ac.uk
- Subject: [isabelle] Special Issue of Information and Computation on 'Computer Security: Foundations and Automated Reasoning'
- From: Luca Vigano <vigano at inf.ethz.ch>
- Date: Fri, 13 Oct 2006 18:28:25 +0200
- User-agent: Mutt/1.5.11+cvs20060403
(apologies for multiple posting)
Information and Computation
Computer Security: Foundations and Automated Reasoning
*** CALL FOR PAPERS ***
BACKGROUND AND SCOPE
In connection with the
Joint Workshop on
Foundations of Computer Security
Automated Reasoning for Security Protocol Analysis
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
Foundations of verification
Information flow analysis
Access control and resource usage control
Availability and denial of service
Integrity and privacy
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
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.
Submission of abstract: November 5, 2006
Submission of paper: November 12, 2006
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