مقالات ترجمه شده

آنالیز امنیت الهام گرفته شده زیستی پروتکل های بی سیم

عنوان فارسی

آنالیز امنیت الهام گرفته شده زیستی پروتکل های بی سیم


عنوان لاتین

Bioinspired Security Analysis ofWireless Protocols

مشخصات کلی

سال انتشار 2016
کد مقاله 1872
فرمت فایل ترجمه Word
تعداد صفحات ترجمه 24
نام مجله Mobile Netw Appl
نشریه Springer
درج جداول و شکل ها در ترجمه انجام شده است
جداول داخل مقاله ترجمه شده است

چکیده فارسی

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

چکیده لاتین

Fraglets represent an execution model for communication protocols that resembles the chemical reactions in living organisms. The strong connection between their way of transforming and reacting and formal rewriting systems makes a fraglet program amenable to automatic verification. Grounded on past work, this paper investigates feasibility of adopting fraglets as model for specifying security protocols and analysing their properties. In particular, we give concrete sample analyses over a secure RFID protocol, showing evolution of the protocol run as chemical dynamics and simulating an adversary trying to circumvent the intended steps. The results of our analysis confirm the effectiveness of the cryptofraglets framework for the model and analysis of security properties and eventually show its potential to identify and uncover protocol flaws

خرید و دانلود ترجمه این مقاله:

جهت خرید این مقاله ابتدا روی لینک زیر کلیک کنید، به صفحه ای وارد می شوید که باید نام و ایمیل خود را وارد کنید و پس از آن روی دکمه خرید و پرداخت کلیک نمایید، پس از پرداخت بلافاصله به سایت بازگشته و می توانید فایل خود را دانلود کنید، همچنین لینک دانلود به ایمیل شما نیز ارسال خواهد شد.

دیدگاه ها

هیچ دیدگاهی برای این مقاله ثبت نشده است

ارسال دیدگاه

مقالات معتبر علمی از ژورنال های ISI