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

Bibliographic Details
Main Author:	Hagihara, Shigeki
Format:	Analytics
Language:	English
Subjects:	Computer-Periodicals. Epistemic logic. Kripke semantics. Relational information between ciphertexts. Security protocl analysis.