صورة الغلاف

Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts

التفاصيل البيبلوغرافية
الحاوية / القاعدة:Philippine computing journal 7, 2 (2012(D)).
المؤلف الرئيسي: Hagihara, Shigeki
مؤلفون آخرون: Oguro, Hiroaki, Yonezaki, Naoki
التنسيق: مقال
اللغة:الإنجليزية
الموضوعات:
Epistemic logic.
Kripke semantics.
Relational information between Ciphertexts.
Security protocol analysis.