Study of protocol composition logic

MaRDI QIDQ3642390zbMATH OpenFDO

Authors Huibin Wang, Yue-Fei Zhu, Qingmei Chang

Publication date 11 November 2009

zbMATH Keywords

formal analysissecurity propertyprotocol composition logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Network protocols (68M12)

Recommendations

• Protocol composition logic (PCL)
• A logic of authentication
• Analyzing security protocols with secrecy types and logic programs
• scientific article; zbMATH DE number 1405638
• Analyzing security protocols with secrecy types and logic programs

Cited in

(5)

• Secure protocol composition
• Specification and analysis of a composition of protocols
• Protocol composition logic (PCL)
• scientific article; zbMATH DE number 2087417 (Why is no real title available?)
• Programming Languages and Systems

This page was built for publication: Study of protocol composition logic

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