Multilevel transitive and intransitive non-interference, causally

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