Email Gateway (Aug 18 2022 at 09:32): Email Gateway (Aug 18 2022 at 09:32):From: Luca Vigano <vigano@inf.ethz.ch>
(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:
The cover page of the submission should also include this information.
Please, do not send files formatted for work 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 (ETH Zurich, Switzerland)
Steve Zdancewic (University of Pennsylvania, USA)
Email Gateway (Aug 18 2022 at 09:48):From: Luca Vigano <vigano@inf.ethz.ch>
(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:
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)
Last updated: Nov 21 2024 at 12:39 UTC