Workshop on Issues in Security and Petri Nets (WISP) 
Eindhoven (NL) 23 June 2003    

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 original 
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. 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".

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 
- surveys on security results in Petri Nets and related open problems
- surveys on analysis techniques for Petri Nets that could be
  used for security analysis

PAPER SUBMISSION:  20 March 2003 

WEB SITE >