دانلود مقاله ISI انگلیسی شماره 152130
ترجمه فارسی عنوان مقاله

عدم دخالت چند مرحله ای و غیر انتقالی، علت

عنوان انگلیسی
Multilevel transitive and intransitive non-interference, causally
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
152130 2018 29 صفحه PDF
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Theoretical Computer Science, Volume 706, 6 January 2018, Pages 54-82

ترجمه کلمات کلیدی
عدم دخالت چندسطحی، سیاست های غیررسمی و کاهش رتبه شبکه پتری، معانی لغو بستن همزمان شدن واقعی، تایید،
کلمات کلیدی انگلیسی
Multilevel non-interference; Intransitive policies and downgrading; Petri nets; Unfolding semantics; True concurrency; Verification;
ترجمه چکیده
ما یک تئوری غیر تداخل برای امنیت چندسطحی مبتنی بر علیت با یک پتری شبکه به عنوان یک مدل مرجع توسعه می دهیم. ما ابتدا به عدم تداخل پیوسته تمرکز می کنیم، جایی که رابطه ای که نمایانگر جریان پذیرفته شده است، پیوسته است. سپس رویکرد به عدم تداخل غیر انتقالی را گسترش می دهیم، که در آن فرضیه انتقال پذیری از بین می رود، و منجر به چارچوبی است که برای مدل سازی یک افشای کنترل شده از اطلاعات مناسب است. الگوریتم های تایید کارآمد بر اساس معانی در حال ظهور شبکه های پتری از نظریه بیرون می آیند. ما همچنین در مورد امکان انجام یک تایید ترکیبی بحث می کنیم.
پیش نمایش مقاله
پیش نمایش مقاله  عدم دخالت چند مرحله ای و غیر انتقالی، علت

چکیده انگلیسی

We develop a theory of non-interference for multilevel security based on causality, with Petri nets as a reference model. We first focus on transitive non-interference, where the relation representing the admitted flow is transitive. Then we extend the approach to intransitive non-interference, where the transitivity assumption is dismissed, leading to a framework which is suited to model a controlled disclosure of information. Efficient verification algorithms based on the unfolding semantics of Petri nets stem out of the theory. We also argue about the possibility of performing a compositional verification.