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

Bibliografiset tiedot
Päätekijä:	Hagihara, Shigeki
Aineistotyyppi:	Analytics
Kieli:	English
Aiheet:	Computer-Periodicals. Epistemic logic. Kripke semantics. Relational information between ciphertexts. Security protocl analysis.