کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10333730 689175 2015 74 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Automated type-based analysis of injective agreement in the presence of compromised principals
ترجمه فارسی عنوان
تجزیه و تحلیل خودکار مبتنی بر نوع توافق اجباری در مواجهه با خطرات ناشی از خطر
کلمات کلیدی
پروتکل های تأیید هویت، مدیران مصالحه، توافق ذهنی، تجزیه و تحلیل استاتیک، نوع بازسازی،
ترجمه چکیده
ما در حال حاضر یک سیستم نوعی برای تجزیه و تحلیل پروتکل های تأیید اعتبار در حضور مدیران مصمم است. ویژگی اصلی روش تجزیه و تحلیل ما این است که آن را به حداقل مجموعه ای از مفروضات و بررسی پروتکل ها برای نیاز قوی احراز هویت شناخته شده به عنوان توافق اجباری. مجموعه ای از دستورالعمل های به خطر افتاده اجازه داده است به صورت پویا رشد کند و هیچ گونه محدودیتی در نوع دستکاری غیرقانونی در پروتکل وجود ندارد. ما همچنین یک الگوریتم بازسازی نوع را ارائه می کنیم که تجزیه و تحلیل را به صورت خودکار انجام می دهد به این معنی که فقط یک الگوی بسیار بالا از پروتکل و نیازهای امنیتی مورد نیاز است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We present a type system to analyze authentication protocols in the presence of compromised principals. The main feature of our analysis method is that it relies on a minimal set of assumptions and checks protocols for a strong authentication requirement known as injective agreement. The set of compromised principals is allowed to grow dynamically and there is no restriction on the kind of nonce handshake employed in the protocol. We also present and implement a type reconstruction algorithm that automates the analysis in the sense that only a very high-level specification of the protocol and security requirements is required.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 576-610
نویسندگان
, ,