19 citations · 86 across the 21 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.CR2016
Deciding Hedged Bisimilarity
Alessio Mansutti, Marino Miculan
The spi-calculus is a formal model for the design and analysis of cryptographic protocols: many security properties, such as authentication and strong confidentiality, can be reduc…
cs.LO2016★ 4 cited
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
Marco Bernardo, Marino Miculan
Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated wi…