Logic Column 10: Specifying Confidentiality
Pucella, Riccardo
الأصل · EN
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.