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

قیمت: 45,000 تومان

دانلود رایگان مقاله

خرید ترجمه مقاله

عنوان فارسی

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

عنوان لاتین

Bioinspired Security Analysis ofWireless Protocols

فرگلت ها یک مدل اجرایی را برای پروتکل های ارتباطی ارائه می دهند که شبیه واکنش های شیمیایی در ارگانیسم های زنده هستند. ارتباط قوی میان طریقه تبدیل و واکنش آن ها و سیستم های بازنویسی رسمی یک برنامه فرگلت را تابع بازبینی خودکار می کند. بر اساس کار قبلی، این مقاله عملی بودن اتخاذ فرگلت ها را به عنوان مدلی برای مشخص کردن پروتکل های امنیتی و آنالیز ویژگی هایشان بررسی می کند. به ویژه آنالیزهای نمونه بتون در یک پروتکل 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