Background, aim and scope

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.
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.

Important dates

Editors