Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
Su, Kai-Le, Chen, Qing-Liang, Sattar, Abdul, Yue, Wei-Ya, Lv, Guan-Feng, Zheng, Xi-Zhong
Published in Journal of computer science and technology (01.11.2006)
Published in Journal of computer science and technology (01.11.2006)
Get full text
Journal Article