کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874828 1441440 2018 33 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A secrecy-preserving language for distributed and object-oriented systems
ترجمه فارسی عنوان
یک زبان حفظ کننده محرمانه برای سیستم های توزیع شده و شی گرا
کلمات کلیدی
اشیاء همزمان روش های ناهمزمان، عدم دخالت، عدم دخالت تعامل، جریان اطلاعات، محرمانه
ترجمه چکیده
با توجه به ماهیت غیرواقعی سیستم های همزمان و توزیع شده، یک مفهوم سیاست عدم تداخل تعامل را برای این تنظیم تعریف می کنیم. ما دو نوع تجزیه و تحلیل استاتیک ارائه می دهیم: یک سیستم رمز انسانی و یک سیستم تجزیه و تحلیل ردیابی، به منظور تسخیر ارتباطات میان شیء و سطح شبکه به ترتیب. ما ثابت می کنیم که عدم تداخل در تعامل با ترکیبی از این تکنیک های تجزیه و تحلیل مواجه می شود. بنابراین هر گونه انحراف از سیاست ناشی از نشت اطلاعات ضمنی قابل مشاهده از طریق مشاهده الگوهای ارتباط شبکه می تواند شناسایی شود. سهم مقاله در تعریف مفهوم عدم دخالت تعامل، و در رسم سازی یک سیستم نوع محرمانه و یک تجزیه و تحلیل ردیابی است که با هم تضمین عدم دخالت تعامل را فراهم می کند. ما همچنین نسخه های متعددی از یک مثال اصلی (سرویس اشتراک خبر) را برای نشان دادن نشت شبکه ارائه می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
یک زبان حفظ کننده محرمانه برای سیستم های توزیع شده و شی گرا
چکیده انگلیسی
Due to the non-deterministic nature of concurrent and distributed systems, we define a notion of interaction non-interference policy tailored to this setting. We provide two kinds of static analysis: a secrecy-type system and a trace analysis system, to capture inter-object and network level communication, respectively. We prove that interaction non-interference is satisfied by the combination of these analysis techniques. Thus any deviation from the policy caused by implicit information leakage visible through observation of network communication patterns, can be detected. The contribution of the paper lies in the definition of the notion of interaction non-interference, and in the formalization of a secrecy type system and a static trace analysis that together ensure interaction non-interference. We also provide several versions of a main example (a news subscription service) to demonstrate network leakage.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 99, October 2018, Pages 1-25
نویسندگان
, , ,