scientific article
From MaRDI portal
Publication:2852032
zbMath1273.68245MaRDI QIDQ2852032
Wiebe van der Hoek, Ron van der Meyden, Ji Ruan, Hans P. van Ditmarsch
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000727
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Related Items (11)
Logics of Rational Interaction ⋮ Symbolic Model Checking for Dynamic Epistemic Logic ⋮ Crossing hands in the Russian cards problem ⋮ A colouring protocol for the generalized Russian cards problem ⋮ Additional constructions to solve the generalized Russian cards problem using combinatorial designs ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Unnamed Item ⋮ Automatic Data-Abstraction in Model Checking Multi-Agent Systems ⋮ Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic ⋮ Combinatorial solutions providing improved security for the generalized Russian cards problem ⋮ Three Steps
This page was built for publication:
