Kripke semantics for epistemic logic relational information between ciphertexts. [article].

书目详细资料
主要作者:	Hagihara, Shigeki
格式:	Analytics
语言:	English
主题:	Computer-Periodicals. Epistemic logic. Kripke semantics. Relational information between ciphertexts. Security protocl analysis.