Sage Journals: Discover world-class research

Retricted access

Research article

First published 2005-3-7

A comparison between strand spaces and multiset rewriting for security protocol analysis

Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln [...]

Journal of Computer Security

Retricted access

Research article

First published 2011-9

Maximally Parallel Probabilistic Semantics for Multiset Rewriting

Roberto Barbuti, Francesca Levi, Paolo Milazzo [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2004-2-1

Multiset rewriting and the complexity of bounded security protocols

Nancy Durgin, Patrick Lincoln, John Mitchell [...]

Journal of Computer Security

Retricted access

Research article

First published 2005-1-20

Relating multiset rewriting and process algebras for security protocol analysis

Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini [...]

Journal of Computer Security

Retricted access

Research article

First published 2007-10

Decidability Problems of a Basic Class of Object Nets

Roxana Dietze, Manfred Kudlek, Olaf Kummer

Fundamenta Informaticae

Retricted access

Research article

First published 2003-2

Some Considerations on Higher-Order Petri Nets

Berndt Farwer, Manfred Kudlek, Kundan Misra

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-24

Time,computational complexity,and probability in the analysis of distance-bounding protocols

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam [...]

Journal of Computer Security

Retricted access

Research article

First published 2007-10

Concurrent Turing Machines

Berndt Farwer, Manfred Kudlek, Heiko Rölke

Fundamenta Informaticae

Retricted access

Research article

First published 2021-5-7

Resource and timing aspects of security protocols

Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin [...]

Journal of Computer Security

Retricted access

Research article

First published 2009-6

Properties of Multiset Language Classes Defined by Multiset Pushdown Automata

Manfred Kudlek, Patrick Totzke, Georg Zetzsche

Fundamenta Informaticae

Search results