صورة الغلاف

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

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Hagihara, Shigeki
التنسيق: Analytics
اللغة:الإنجليزية
الموضوعات:
Computer-Periodicals.
Epistemic logic.
Kripke semantics.
Relational information between ciphertexts.
Security protocl analysis.