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

Xehetasun bibliografikoak
Egile nagusia:	Hagihara, Shigeki
Formatua:	Analytics
Hizkuntza:	English
Gaiak:	Computer-Periodicals. Epistemic logic. Kripke semantics. Relational information between ciphertexts. Security protocl analysis.