On transparent value-sensitive run-time monitoring for information flow policies

نظارت بر زمان اجرا ثابت می کند که یک مکانیزم موفق برای اجرای سیاست های جریان اطلاعات است. با این حال، چالش اصلی این است که به شفافیت دست یابیم که عموما خواسته های نظارت کنندگان را در صورت امکان حداقل در برنامه های اعدام اجرا می کند. ما بررسی سطح شفافیت مانیتور می تواند زمانی حاصل شود که از اطلاعات استاتیک و پویا در مورد مقادیر احتمالی متغیرهای برنامه استفاده کند. برای مطالعه چنین مانیتورهای حساس به ارزش، ما دو پارادایم اجرای اصلاحی را در نظر می گیریم که در واقع شفافیت نهایی را تشکیل می دهند. سپس، تعدادی از مانیتورهای حساس ارزشمند کاملا پویا و ترکیبی را برای برخی از سیاست های عدم دخالت شناخته شده پیشنهاد می کنیم. اگرچه حساسیت ارزش منجر به مانیتورهای شفاف تر می شود، اما به سختی می تواند شفافیت نهایی را فراهم کند. این به ما انگیزه می دهد که دستورالعمل هایی را که منعکس کننده سطح شفافیت مانیتور می شود و همچنین مانیتور ها را در دستورالعمل های جزئی پیشنهاد دهد نشان می دهد. نشان داده شده است که مانیتورهای با حساسیت هیبریدی می توانند به طور اصلاحی از عدم مداخله به اصطلاح غیرقابل انحراف فکری تنها در صورتی که بتوانند مجموعه ای از مقادیر احتمالی متغیرهای خاص را محاسبه کنند. ما همچنین ثابت می کنیم که چنین مانیتور ایده آل تنها مانیتور ترکیبی است که در کلاس های بزرگ مانیتورهای شناسایی شده در این مقاله می تواند شفاف تر از مانیتورهای کاملا پویا باشد.