Contributions are welcomed on the following topics and related ones:
with the file of the paper as an attachment, by November 13, 2005.
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 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 6, 2005.Background and scope
In connection with
for Security Protocol Analysis
(ARSPA'05)
Submission
Authors should submit their papers electronically, in portable
document format (pdf) or postscript (ps), by sending an email with
subject "TCS submission" to the address
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.