Academic Journal
Runtime Enforcement of K-step Opacity
| العنوان: | Runtime Enforcement of K-step Opacity |
|---|---|
| المؤلفون: | Yliès Falcone, Hervé Marchand |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://hal.inria.fr/docs/00/86/32/23/PDF/cdc2013.pdf. |
| سنة النشر: | 2013 |
| المجموعة: | CiteSeerX |
| الوصف: | We study the enforcement of K-step opacity at runtime. In K-step opacity, the knowledge of the secret is of interest to the attacker within K steps after the secret occurs and becomes obsolete afterwards. We introduce the mechanism of runtime enforcer that is placed between the output of the system and the attacker and enforces opacity using delays. If an output event from the system violates K-step opacity, the enforcer stores the event in the memory, for the minimal number of system steps until the secret is no longer interesting to the attacker (or, K-step opacity holds again). |
| نوع الوثيقة: | text |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.385.363; http://hal.inria.fr/docs/00/86/32/23/PDF/cdc2013.pdf |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.385.363 http://hal.inria.fr/docs/00/86/32/23/PDF/cdc2013.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.99D7855A |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |