✦ LIBER ✦

Knowledge structure approach to verification of authentication protocols

✍ Scribed by Kaile Su; Guanfeng Lü; Qingliang Chen

Book ID: 111785131
Publisher: Science in China Press (SCP)
Year: 2005
Tongue: English
Weight: 250 KB
Volume: 48
Category: Article
ISSN: 1674-733X
DOI: 10.1360/122004-78

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rewriting-Based Verification of Authenti

Rewriting-Based Verification of Authentication Protocols

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 266 KB

We propose a method of formally analysing security protocols based on rewriting. The method is roughly as follows. A security protocol is modeled as an observational transition system, which is described in CafeOBJ. Proof scores showing that the protocol has safety (security) properties are then wri

Verification of Authentication Protocols

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

✍ Kai-Le Su; Qing-Liang Chen; Abdul Sattar; Wei-Ya Yue; Guan-Feng Lv; Xi-Zhong Zhe 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 458 KB

Formal Verification of IEEE 802.11w Auth

Formal Verification of IEEE 802.11w Authentication Protocol

✍ V. Valli Kumari; K.V. Krishnam Raju 📂 Article 📅 2012 🏛 Elsevier ⚖ 451 KB

A relational algebraic approach to proto

A relational algebraic approach to protocol verification

✍ Lee, T.T.; Lai, M.-Y. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 764 KB

Verification of two versions of the chal

Verification of two versions of the challenge handshake authentication protocol (chap)

✍ Guy Leduc 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 1014 KB

An approach to the dynamic verification

An approach to the dynamic verification of knowledge-based systems

✍ Keinosuke Matsumoto; Tomihiro Takano 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 623 KB