Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

There are no files associated with this record.

Title Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
Author Su, Kaile; Chen, Qing-liang; Sattar, Abdul; Yue, Wei-Ya; Lv, Guan-Feng; Zheng, Xi-Zhong
Year Published 2006
Publisher Springer
Citation Journal of Computer Science and Technology, Vol. 21(6), pp. 932-943
Peer Reviewed Yes
Published Yes
Publisher URI http://www.springerlink.com/content/j13u70468p744626/
Copyright Statement Copyright 2006 Springer : Reproduced in accordance with the copyright policy of the publisher : The original publication will be available at SpringerLink (use hypertext links)
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Journal Articles (Refereed Article)

Full Record

Griffith University copyright notice