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 TAA20502; Thu, 5 Feb 2004 19:11:04 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA19609 for ; Thu, 5 Feb 2004 19:11:04 +0100 (MET) From: lvigano@inf.ethz.ch Received: from medoc.inf.ethz.ch (medoc.inf.ethz.ch [129.132.178.200]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id i15IB3v20157 for ; Thu, 5 Feb 2004 19:11:03 +0100 (MET) Received: from localhost (localhost [127.0.0.1]) by medoc.inf.ethz.ch (Postfix) with ESMTP id B652EBC8B for ; Thu, 5 Feb 2004 18:45:17 +0100 (MET) Received: from medoc.inf.ethz.ch ([127.0.0.1]) by localhost (medoc [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 25529-01 for ; Thu, 5 Feb 2004 18:45:14 +0100 (MET) Received: from localhost.localdomain (lennox.inf.ethz.ch [129.132.178.21]) by medoc.inf.ethz.ch (Postfix) with ESMTP id 61584BD07 for ; Thu, 5 Feb 2004 18:45:08 +0100 (MET) Received: (from lvigano@localhost) by localhost.localdomain (8.11.6/8.9.3) id i15Hj4I11017 for caml-list@pauillac.inria.fr; Thu, 5 Feb 2004 18:45:04 +0100 Date: Thu, 5 Feb 2004 18:45:04 +0100 Message-Id: <200402051745.i15Hj4I11017@localhost.localdomain> To: caml-list@pauillac.inria.fr Subject: [Caml-list] CFP: Automated Reasoning for Security Protocols Analysis (ARSPA) X-Virus-Scanned: by amavisd-new at inf.ethz.ch X-Spam-Checker-Version: SpamAssassin 2.60 (1.212-2003-09-23-exp) on medoc X-Spam-Report: No (score= 0.3, required=6.3) * 0.3 -- NO_REAL_NAME -- From: does not include a real name X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ijcar:01 2004:99 cork:99 cork:99 ireland:99 2004:99 error-prone:01 recognized:99 model:01 narrowing:01 higher-order:01 logics:01 logics:01 decidability:01 jacob:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk IJCAR 2004 Workshop W6 ARSPA Automated Reasoning for Security Protocols Analysis University College Cork Cork, Ireland Sunday, July 04, 2004 http://www.avispa-project.org/arspa *********************** *** CALL FOR PAPERS *** *********************** Submission deadline: April 15, 2004 BACKGROUND, AIM 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 model checking, resolution, planning, rewriting/narrowing, and higher-order theorem proving. 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 determining strengths and weaknesses of 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. The workshop aims to bring together researchers and practitioners from both the security and the automated reasoning communities, from academia and industry, who are working 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 or 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. AUDIENCE ======== The workshop will be held on Sunday, July 04, 2004, and will be open to all interested persons. INVITED TALKS ============= The technical program will include - presentations of the accepted papers, - one or two invited talks, - a panel discussion "Bridging the analysis gap: from the Clark/Jacob library to Internet protocols". ORGANIZATION AND PROGRAM COMMITTEE ================================== - Alessandro Armando (co-chair) - David Basin - Jorge Cuellar - Michael Rusinowitch - Luca Vigano` (co-chair) SUBMISSION ========== Submissions should be at most 10 pages (a4paper, 11pt) and the cover page should include title, names of authors, and the co-ordinates of the corresponding author. Please use LaTeX, with the following header: \documentclass[a4paper,11pt]{article} \textwidth 14.63cm \textheight 22cm \oddsidemargin 0.65cm \evensidemargin 0.65cm \topmargin 0.55cm \headheight 0.0pt \headsep 0.0pt Authors are invited to submit their papers electronically, as portable document format (pdf) or postscript (ps), by sending them to arspa@avispa-project.org Submissions must be received by the deadline of April 15, 2004. Notification of acceptance or rejection will be sent to the authors no later than May 10, 2004. Final versions of accepted papers must be received by June 01, 2004. PUBLICATION =========== Accepted contributions will be included in the informal workshop proceedings, which will be available at the workshop. As written in the "Call for Workshop Proposals", a volume of ENTCS devoted to proceedings of selected workshops is also anticipated. Moreover, workshop participants will be invited to submit full versions of their papers to a special issue of the Journal of Automated Reasoning, which will be open also to non-participants, in all cases with fresh reviewing. IMPORTANT DATES =============== - Submission deadline: April 15, 2004 - Notification of acceptance: May 10, 2004 - Final versions due: June 01, 2004 - Workshop: July 04, 2004 WORKSHOP WEB-SITE ================= http://www.avispa-project.org/arspa For further information on the workshop, please send an email to arspa@avispa-project.org >>From lvigano Thu Feb 5 15:52:55 2004 To: armando@dist.unige.it Subject: CFP: Automated Reasoning for Security Protocols Analysis (ARSPA) Status: O Content-Length: 242 Lines: 5 ------------------- 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