کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4949413 | 1440110 | 2017 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Atomistic Galois insertions for flow sensitive integrity
ترجمه فارسی عنوان
درجهای آتومیستی گالوئیز برای یکپارچگی حساس جریان
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
تفسیر چکیده، راهبرد امنیتی، جریان اطلاعات،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We demonstrate that the use of atomistic Galois insertions constitutes a stable framework in which to obtain sound and fully automatic enforcement of flow sensitive integrity. The framework is illustrated on a concurrent language with local storage and polyadic synchronous communication.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computer Languages, Systems & Structures - Volume 50, December 2017, Pages 82-107
Journal: Computer Languages, Systems & Structures - Volume 50, December 2017, Pages 82-107
نویسندگان
Flemming Nielson, Hanne Riis Nielson,