WOOPS 2012 - WooPS: Int'l Workshop on Petri Net-based Security

Website http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012 | Edit Freely

Category WOOPS 2012

Deadline: March 20, 2012 | Date: June 25, 2012-June 29, 2012

Venue/Country: Hamburg, Germany

Updated: 2011-10-13 18:34:28 (GMT+9)

Call For Papers - CFP

The goal of WooPS is to foster the exchange of new ideas, methodologies, specification and analysis techniques for the (automated) analysis of next generation applications at the crossroads of the Petri net and security communities. The presentation of applications and corresponding tool support is explicitly requested.

Invited speaker (to be announced)

Topics of interest

The topics of interest of WooPS include, but are not limited to, specification, verification, analysis techniques and theirs applications concerning

access and usage control policies

authentication and authorization

availability

compliance requirements

context-aware computing

information flow control

language-based security

peer-to-peer systems

privacy

monitoring policies and techniques

network and authorization infrastructures

safety, reliability, and resilience aspects

service composition and synthesis

security protocols

trust and trust management

workflow and workflow management analysis

Whilst focusing mainly on Petri nets, WooPS equally welcomes submissions employing other models of concurrency, or relating these models to Petri nets.

Submission guidelines

WooPS welcomes submissions in the following categories:

full papers (15 pages), containing original research (with no substantial overlap with manuscripts that have been published or that are simultaneously submitted to a conference with proceedings or a journal) and sufficient detail to assess the merits and relevance of the submission. Full papers must be no longer than 15 LNCS pages.

extended abstracts (7 pages), containing preliminary reports of work in progress. These will be judged based on the expected level of interest for the WooPS community.

presentation-only papers, describing work recently published or submitted and will not be included in the proceedings.

Submissions are to be written in English using the LNCS format. They must be submitted trough the WooPS Easychair page. Each submission will be reviewed by three PC members based on their originality, significance, technical soundness and clarity of exposition. Submissions must not substantially overlap manuscripts that have been published or that are simultaneously submitted to a conference with proceedings or a journal.

At least one of the authors of each accepted paper must register for WooPS.

The workshop proceedings will be electronically published with CEUR Workshop Proceedings and made available to all conference participants. Some of the best papers from the workshop will be invited for publication in a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers.