Proving security protocols with model checkers by data independence techniques

Proving security protocols with model checkers by data independence techniques

عرض إصدارات أخرى (1)
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Roscoe, A, Broadfoot, P
التنسيق: Journal article
منشور في: 1999
Search Result 1
Proving security protocols with model checkers by data independence techniques

Proving security protocols with model checkers by data independence techniques حسب Roscoe, A

منشور في 1998
Conference item
عرض كل الإصدارات (2)

مواد مشابهة