Team bisimilarity, and its associated modal logic, for BPP nets | 0 | 0.34 | 2021 |
Causal Semantics For Bpp Nets With Silent Moves | 0 | 0.34 | 2021 |
Verification of finite-state machines: A distributed approach. | 1 | 0.36 | 2018 |
CCS(25, 12) is Turing-complete. | 0 | 0.34 | 2017 |
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures | 13 | 0.91 | 2016 |
On intransitive non-interference in some models of concurrency | 5 | 0.46 | 2011 |
An Operational Petri Net Semantics for A2CCS. | 1 | 0.35 | 2011 |
A Process Calculus for Expressing Finite Place/Transition Petri Nets | 3 | 0.41 | 2010 |
On the Decidability of Non Interference over Unbounded Petri Nets | 9 | 0.53 | 2010 |
Towards Information Flow Properties for Distributed Systems | 2 | 0.36 | 2009 |
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets | 2 | 0.39 | 2009 |
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings | 19 | 1.31 | 2009 |
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs | 11 | 0.59 | 2009 |
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi | 1 | 0.36 | 2008 |
Petri Net Security Checker: Structural Non-interference at Work | 16 | 0.69 | 2008 |
On the expressive power of global and local priority in process calculi | 7 | 0.49 | 2007 |
Obituary, Nadia Busi (1968-2007). | 0 | 0.34 | 2007 |
A Formalization of Credit and Responsibility Within the GNDC Schema | 5 | 0.42 | 2006 |
Choreography and orchestration conformance for system design | 69 | 4.97 | 2006 |
Supporting Secure Coordination in SecSpaces | 16 | 0.69 | 2006 |
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings | 19 | 5.09 | 2006 |
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda | 1 | 0.38 | 2005 |
Theoretical foundations of security analysis and design II | 0 | 0.34 | 2005 |
Choreography and orchestration: a synergic approach for system design | 81 | 5.05 | 2005 |
Analysing Password Protocol Security Against Off-line Dictionary Attacks | 31 | 1.15 | 2005 |
Reasoning about interaction patterns in choreography | 17 | 1.88 | 2005 |
Approximating Imperfect Cryptography in a Formal Model | 1 | 0.36 | 2004 |
A process-algebraic approach for the analysis of probabilistic noninterference | 44 | 1.55 | 2004 |
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time | 0 | 0.34 | 2004 |
Combining Partitions in SecSpaces | 0 | 0.34 | 2004 |
Security Issues in the Tuple-Space Coordination Model | 8 | 0.52 | 2004 |
Positive Non-interference in Elementary and Trace Nets | 12 | 0.74 | 2004 |
A simple framework for real-time cryptographic protocol analysis with compositional proof rules | 27 | 0.99 | 2004 |
Towards a formal treatment of secrecy against computational adversaries | 2 | 0.37 | 2004 |
Automated analysis of timed security: a case study on web privacy | 8 | 0.57 | 2004 |
On securing real-time speech transmission over the internet: an experimental study | 0 | 0.34 | 2003 |
A formal approach for checking security properties in SecSpaces | 2 | 0.40 | 2003 |
A simple language for real-time cryptographic protocol analysis | 26 | 1.20 | 2003 |
Compositional Verification of Integrity for Digital Stream Signature Protocols | 5 | 0.43 | 2003 |
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols | 4 | 0.42 | 2003 |
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols | 2 | 0.39 | 2003 |
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗ | 8 | 0.57 | 2003 |
Two formal approaches for approximating noninterference properties | 7 | 0.48 | 2002 |
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement | 20 | 0.99 | 2002 |
Unified specification and performance evaluation using stochastic process algebras | 3 | 0.37 | 2002 |
The theory of interactive generalized semi-Markov processes | 57 | 2.53 | 2002 |
Classification of security properties - (Part II: Network security) | 21 | 0.76 | 2002 |
Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54] | 0 | 0.34 | 2001 |
Techniques for Security Checking: Non-Interference vs Control Flow Analysis | 4 | 0.41 | 2001 |
Vertical implementation | 11 | 0.64 | 2001 |