An integrative framework to protocol analysis and repair: Bellare-Rogaway model + planning + model checker

MaRDI QIDQ5459552zbMATHFDO

Authors Kim-Kwang Raymond Choo

Publication date 29 April 2008

zbMATH Keywords

provable securityplanning problemkey authentication

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 1926618
• scientific article; zbMATH DE number 2080671
• Verifying security protocols as planning in logic programming
• LDYIS: a framework for model checking security protocols
• scientific article; zbMATH DE number 1973985

This page was built for publication: An integrative framework to protocol analysis and repair: Bellare-Rogaway model + planning + model checker

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5459552)