Knowledge structure approach to verification of authentication protocols

zbMath1161.68323MaRDI QIDQ866176

Kaile Su, Guanfeng Lü, Qingliang Chen

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Network protocols (68M12)

Related Items (1)

Formal verification technique for grid service chain model and its application

Uses Software

• Chaff

This page was built for publication: Knowledge structure approach to verification of authentication protocols