The first international Workshop on Issues in Security and Petri Nets  (WISP) intends to promote research about theoretical foundations of security analysis and design with Petri Nets as system model. Hence, original papers as well as surveys on the use of Petri Nets for security issues are particularly welcome.

Also papers on security issues in other system models are welcome, provided that they either present new results or offer a new perspective to well-known problems.
 
 

Suggested submission topics include: - comparison and classification of security models - formal definition and verification of the various aspects of security:  confidentiality, integrity, authentication and availability .... - tools and techniques for the formal analysis of cryptographic protocols and their applications - information flow security and related theories - security issues in probabilistic and real-time models - mobile code security - applications to electronic commerce - case studies

As the aim of the workshop is to promote cross fertilization between the two fields of security and Petri Nets, are also welcome: - surveys on security results in Petri Nets with presentation of related open problems - surveys on analysis techniques for Petri Nets that could be used for security analysis  Important dates Paper Submission: 06 April 2003 (Extended deadline !) Author Notification:  07 May 2003  (Extended!) Final version due:  20 May 2003  Workshop:  23 June 2003

WISP is affiliated to the 24th International Conference on Application and Theory of Petri Nets (ICATPN'03), and sponsored by the IFIP WG 1.7 on "Theoretical Foundations of Security Analysis and Design". WISP is a one-day workshop and includes three invited presentations.

REGISTRATION: See the registration procedure for ICATPN'03 (Already OPEN!)

INVITED SPEAKERS:

• Javier Esparza, University of Edinburgh
• Riccardo Focardi, University of Venice
• Peter Ryan, University of Newcastle

PROGRAM COMMITTEE:

• Nadia Busi, University of Bologna, (PC co-chair)
• Pierpaolo Degano, University of Pisa
• Jörg Desel, Katholische Universität Eichstätt
• Dieter Gollman, Microsoft Research (Cambridge)
• Chris Hankin, Imperial College (London)
• Nisse Husberg, Helsinki University of Technology
• Kurt Jensen, University of Aarhus
• Andrea Maggiolo-Schettini, University of Pisa
• Fabio Martinelli, IIT-CNR, Pisa (PC co-chair)
• Jonathan Millen, SRI International
• Peter Ryan, University of Newcastle
• Vladimiro Sassone, University of Sussex

ORGANIZER

• Roberto Gorrieri, University of Bologna (gorrieri@cs.unibo.it)

SUBMISSION INSTRUCTIONS

Two formats of submissions are sought:

• 1) short papers, up to 5 pages,
• 2) full papers, up to 15 pages,