Automatic security policy enforcement in computer systems

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