We presented several new algorithms of model checking epistemiclogics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
2
Based on the sufficient study on various logics in artificial intelligence and computer science, we in this project paid our main attention to the problem of model checking epistemic logic.