کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951461 1441452 2017 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
ترجمه فارسی عنوان
بررسی روش های نمادین برای ایجاد خواص مبتنی بر همبستگی در پروتکل های رمزنگاری
کلمات کلیدی
پروتکل رمزنگاری، مدل های نمادین خصوصیات مربوط به حریم خصوصی، همبستگی رفتاری،
ترجمه چکیده
در اینجا سنتز تصمیمات پذیری و نتایج غیرقابل شناسایی را برای خواص امنیتی بر پایه همبستگی پیشنهاد می کنیم. علاوه بر این، ما یک مرور کلی از ابزارهای تأیید موجود را که می توان برای بررسی ویژگی های امنیتی مبتنی بر همبستگی استفاده کرد، ارائه می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
بررسی روش های نمادین برای ایجاد خواص مبتنی بر همبستگی در پروتکل های رمزنگاری
چکیده انگلیسی
We propose here a synthesis of decidability and undecidability results for equivalence-based security properties. Moreover, we give an overview of existing verification tools that may be used to verify equivalence-based security properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 87, February 2017, Pages 127-144
نویسندگان
, ,