Eindhoven, The Netherlands,  23 June 2003

See the web page of the next edition: WISP2004
Accepted papers Program registration

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!)





Two formats of submissions are sought:

with 11pt or larger font and reasonable margins and line spacing. Author's full name, address, fax number, and e-mail address must appear in the cover page. Submissions should clearly state the category (1 or 2) and must be sent by e-mail as .ps (or .pdf) file to both the program chairs:
Nadia Busi (busi@cs.unibo.it) University of Bologna
Fabio Martinelli (fabio.martinelli@iit.cnr.it)  Institute of Informatics and Telematics National Research Council  (IIT-CNR)

  Workshop proceedings with the accepted papers will be distributed at the workshop as a report of the Eindhoven University of Technology.