scientific article; zbMATH DE number 1487488
From MaRDI portal
Publication:4493895
zbMath0948.94013MaRDI QIDQ4493895
Stuart G. Stubblebine, Paul Syverson
Publication date: 23 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Quantifying leakage in the presence of unreliable sources of information ⋮ Probabilistic and nondeterministic aspects of anonymity ⋮ Probable innocence revisited ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs ⋮ On compositional reasoning about anonymity and privacy in epistemic logic ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Conditional anonymity with non-probabilistic adversary ⋮ Anonymity protocols as noisy channels ⋮ Towards an Awareness-Based Semantics for Security Protocol Analysis
This page was built for publication:
