Preface of the International Workshop on Petri Net-based Security (WooPS)

5th International Workshop on Logics, Agents, and Mobility (LAM'12), 1st International Workshop on Petri Net-based Security (WooPS'12), 2nd International Workshop on Petri Nets Compositions (CompoNet'12)

Rafael Accorsi

Others  :  http://ceur-ws.org/Vol-853/woops0.pdf
PID  :  43074

来源: CEUR

【 摘 要 】

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. It is however unclear how the cornucopia of available techniques (based on Petri netsand related concurrency models) can provide results of the analysis with sufficient precision to increase the condence 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. [First Paragraph]