Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols
From MaRDI portal
Publication:2841265
DOI10.1016/S1571-0661(04)00311-1zbMath1268.68129MaRDI QIDQ2841265
Stéphane Lafrance, John Mullins
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
94A60: Cryptography
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
\textit{D\_PSNI}: delimited persistent stochastic non-interference, Controlling information release in the \(\pi\)-calculus, On Intransitive Non-interference in Some Models of Concurrency
Cites Work