From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA16287; Thu, 19 Aug 2004 12:31:10 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA18725 for ; Thu, 19 Aug 2004 12:31:09 +0200 (MET DST) From: lvigano@inf.ethz.ch Received: from medoc.inf.ethz.ch (medoc.inf.ethz.ch [129.132.178.200]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i7JAV8RM011117 for ; Thu, 19 Aug 2004 12:31:08 +0200 Received: from localhost (localhost [127.0.0.1]) by medoc.inf.ethz.ch (Postfix) with ESMTP id 57A1516968 for ; Thu, 19 Aug 2004 12:30:28 +0200 (MEST) Received: from medoc.inf.ethz.ch ([127.0.0.1]) by localhost (medoc [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 16065-01-6 for ; Thu, 19 Aug 2004 12:30:28 +0200 (MEST) Received: from localhost.localdomain (lennox.inf.ethz.ch [129.132.178.21]) by medoc.inf.ethz.ch (Postfix) with ESMTP id 8BFE3163CC for ; Thu, 19 Aug 2004 12:30:10 +0200 (MEST) Received: (from lvigano@localhost) by localhost.localdomain (8.11.6/8.9.3) id i7JAU9U06659 for caml-list@pauillac.inria.fr; Thu, 19 Aug 2004 12:30:09 +0200 Date: Thu, 19 Aug 2004 12:30:09 +0200 Message-Id: <200408191030.i7JAU9U06659@localhost.localdomain> To: caml-list@pauillac.inria.fr Subject: [Caml-list] CFP: JAR special issue on Automated Reasoning for Security Protocol Analysis X-Virus-Scanned: by amavisd-new at inf.ethz.ch X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on medoc X-Miltered: at concorde with ID 4124816C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; error-prone:01 recognized:99 model:01 logics:01 logics:01 ijcar:01 2004.:99 decidability:01 alessandro:01 switzerland:99 jorge:99 switzerland:99 2004:99 checking:01 complexity:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Special Issue of The Journal of Automated Reasoning on Automated Reasoning for Security Protocol Analysis http://www.avispa-project.org/arspa *********************** *** CALL FOR PAPERS *** *********************** BACKGROUND AND SCOPE ==================== Experience over the last twenty years has shown that, even assuming perfect cryptography, the design of security protocols (or cryptographic protocols, as they are sometimes called) is highly error-prone and that conventional validation techniques based on informal arguments and/or testing are not up to the task. It is now widely recognized that only formal analysis can provide the level of assurance required by both the developers and the users of the protocols. Work in this direction initially started in the security community, but recently there has been a tremendous progress thanks to contributions from different automated reasoning communities, such as automated deduction, model checking, and artificial intelligence. Moreover, there has been another wave of progress due to research in applying non-classical logics, such as epistemic and belief logics, to analyze protocols and their properties. Based on this progress, a large number of formal methods and tools have been developed that have been quite successful in analyzing many protocols, i.e. in proving the correctness of the protocols or in identifying attacks on them. Thus, this progress can be seen as one of the recent success stories of the automated reasoning community. In July 2004, the first Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA) took place as part of IJCAR 2004. Motivated by the success of the workshop, the members of the program committee of ARSPA will guest-edit a Special Issue of the Journal of Automated Reasoning collecting original papers on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. Contributions are welcomed on the following topics and related ones: - Automated analysis and verification of security protocols. - Languages, logics, and calculi for the design and specification of security protocols. - Verification methods: accuracy, efficiency. - Decidability and complexity of cryptographic verification problems. - Synthesis and composition of security protocols. - Integration of formal security specification, refinement and validation techniques in development methods and tools. EDITORS ======= Alessandro Armando (Universita` di Genova, Italy) David Basin (ETH Zurich, Switzerland) Jorge Cuellar (Siemens AG, Munich, Germany) Michael Rusinowitch (LORIA-INRIA-Lorraine, France) Luca Vigano` (ETH Zurich, Switzerland) SUBMISSION ========== Authors should submit their papers electronically, in portable document format (pdf) or postscript (ps), by sending an email with subject "JAR submission" to the address arspa@avispa-project.org with the file of the paper as an attachment, and the following information 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. Authors are strongly encouraged to use Kluwer's LaTeX stylefiles for journal submissions available at http://www.wkap.nl/authors/jrnlstylefiles/ Submitted papers must be original and not submitted for publication elsewhere. The submitted papers will be subject to the standard journal refereeing process. DEADLINE FOR SUBMISSION ======================= NOVEMBER 26, 2004 WEB-SITE ======== http://www.avispa-project.org/arspa ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners