Secure information sharing in social agent interactions using information flow analysis

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