scientific article; zbMATH DE number 4197466

zbMath0725.68094MaRDI QIDQ5203714

Michael Burrows, Martín Abadi, Roger M. Needham

Publication date: 1988

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

zbMATH Keywords

modal logicauthenticationdistributed computing systemsbelief and action

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (3)

The guarded fragment with transitive guards ⋮ ESAP: efficient and secure authentication protocol for roaming user in mobile communication networks ⋮ Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol

This page was built for publication: