A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version)

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