scientific article

zbMath1276.03026MaRDI QIDQ2863872

Mitsuhiro Okada, Koji Hasebe

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000351?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order predicate logicsecurity protocol analysisagreement propertiesproof-search method

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols