The complexity of synchronous notions of information flow security

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