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

zbMATH Open1148.94434MaRDI QIDQ5459552FDOQ5459552

Authors: Kim-Kwang Raymond Choo 

Publication date: 29 April 2008

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

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)

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)