[TYPES/announce] CFP: Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning

[Lujo Bauer]

(Apologies if you receive this announcement multiple times)


Special Issue
of the
Journal of Automated Reasoning
on
Computer Security: Foundations and Automated Reasoning

http://www.avantssar.eu/jar-cs09


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


BACKGROUND AND SCOPE
====================
In connection with the

Joint Workshop on
Foundations of Computer Security,
Automated Reasoning for Security Protocol Analysis
and
Issues in the Theory of Security

FCS-ARSPA-WITS'08,

a satellite event of LICS'08 and CSF 21, we are guest-editing a
Special Issue of the Journal of Automated Reasoning devoted to
original papers on foundations, formal methods and automated
reasoning 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
==========
Submitted papers must be original and not submitted for journal
publication elsewhere, and will be subject to the standard journal
refereeing process.

Authors should submit their papers electronically, only in portable
document format (pdf) or postscript (ps), by

April 30

via the electronic submission web-site powered by easychair:

http://www.easychair.org/conferences/?conf=jarcs09

Please, do not send files formatted for word processing packages (e.g.,
Microsoft Word or Wordperfect files).

The cover page of the submission should include the following
information:
- paper title
- author names
- coordinates of the corresponding author
- abstract of the paper

Authors are strongly encouraged to use Springer's LaTeX macro package
available at the website of the Journal of Automated Reasoning
(http://www.springer.com/computer/foundations/journal/10817).

We kindly ask the authors to send us an abstract of their submission by
April 23.


DEADLINES
=========
Submission of abstract: April 23, 2009
Submission of paper:    April 30, 2009


EDITORS
=======
Lujo Bauer (CMU, USA)
Sandro Etalle (Technical University of Eindhoven, The Netherlands)
Jerry den Hartog (Technical University of Eindhoven, The Netherlands)
Luca Vigano` (Universita` di Verona, Italy)