posted by user: ranise || 3833 views || tracked by 7 users: [display]

WooPS 2012 : Workshop on Petri Net-based Security


When Jun 26, 2012 - Jun 26, 2012
Where Hamburg, Germany
Submission Deadline Apr 15, 2012
Notification Due May 15, 2012
Final Version Due Jun 1, 2012
Categories    security   computer science

Call For Papers

WooPS: International Workshop on Petri Net-based Security

a satellite event of the

33rd International Conference on Application and Theory of Petri Nets
and Concurrency
12th International Conference on Application of Concurrency to System Design


Petri nets provide an expressive and well-studied formalism to specify
and reason about security and reliability properties of
abstractions/views of modern applications, such as smart grids and
distributed enterprise systems. However, it is unclear how the
cornucopia of available techniques (based on Petri nets and related
concurrency models) can provide results of the analyses with
sufficient precision to increase the confidence of designers in the
overall security of the new applications. The assessment of these
techniques with respect to correctness, computational complexity, and
real-world case-studies is indeed mandatory to significantly advance
the state-of-the-art of the emerging research area.

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

* Karsten Wolf (Rostock, DE)

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

We welcome submissions in the following cathegories:

* extended abstracts, containing preliminary reports of work in
progress and be no longer than 10 pages in LNCS format. These will be
judged based on the expected level of interest for the WooPS

* original papers, 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. Submissions in this cathegory must be no longer than
15 pages in LNCS format.

* presentation-only papers, describing work recently published or
submitted and will not be included in the proceedings. We see this as
a way to provide additional access to important developments that
WooPS Workshop attendees may be unaware of.

All submissions are to be written in English. Technical details may
be included in an appendix to be read at the reviewers' discretion.
Submission must be done trough the WooPS Easychair page. Each
manuscript will be reviewed by (at least) three PC members based on
their originality, significance, technical soundness and clarity of

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

The workshop proceedings will be electronically published with CEUR
Workshop Proceedings and made available to all conference
participants. Only accepted submissions in the second category
(original papers) will be included both in the informal proceedings
distributed at the Workshop and in the CEUR Workshop Proceedings.
Extended abstracts will only be included in the informal proceedings.

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.

Important dates

* Notification of acceptance/rejection: May 15, 2012
* Camera-ready version: June 1, 2012
* Workshop date: June 26, 2012

Organizing Chairs and Program Committee


* Rafael Accorsi (Freiburg U, DE)
* Tadao Murata (Illinois U, USA)
* Silvio Ranise (FBK, IT)

Program committee:

* Carmen Cago (Malaga U, ES)
* Carlos Caleiro (Lisbon TU, PT)
* Jason Crampton (Royal Holloway, UK)
* Stephanie Delaune (ENS Cachan, FR)
* Giorgio Delzanno (Genova U, IT)
* Isao Echizen (National Institute of Informatics, JP)
* Dirk Fahland (Eindhoven Universtiy of Technology, Netherlands)
* Joshua Guttman (Worcester Polytechnic Institute, US)
* Henjao Huang (Harbin Institute of Technology, CN)
* Michael Huth (Imperial College, UK)
* Felix Klaedtke (ETH Zurich, CH)
* Martin Leucker (Luebeck U, DE)
* Jorge Lobo (IBM Research, USA)
* Jan Mendling (Vienna WU, AT)
* Laure Petrucci (Paris XIII U, FR)
* Michael Rusinowitch (INRIA Nancy, FR)
* Peter Ryan (Luxembourg U, LU)
* Luca Vigano` (Verona U, IT)
* Jan van der Werft (Eindhoven TU, NL)
* Karsten Wolf (Rostock U, DE)

Related Resources

SCN SI 2020   Security and Communication Networks, SI on Security, Trust, and Privacy in Machine Learning-Based Internet of Things
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
AsiaCCS 2021   The 16th ACM ASIA Conference on Computer and Communications Security [Second Round: 11 December 2020]
RiE 2021   12th International Conference on Robotics in Education
TextGraphs 2020   14th Workshop on Graph-Based Natural Language Processing (TextGraphs-14)
AIP Journal - Indexed in Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
USENIX Security 2021   30th USENIX Security Symposium (Winter Deadline)
IJCCSA 2020   International Journal on Cloud Computing: Services and Architecture
CCNC 2021   IEEE Consumer Communications & Networking Conference
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia