Lijun Wu, Kaile Su, Qingliang Chen. Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. In Yue Hao, Jiming Liu, Yuping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao, editors, Computational Intelligence and Security, International Conference, CIS 2005, Xi an, China, December 15-19, 2005, Proceedings, Part I. Volume 3801 of Lecture Notes in Computer Science, pages 349-354, Springer, 2005. [doi]
Abstract is missing.