برای اطلاع از آخرین مقالات علمی و اخبار کرونا(COVID-19) کلیک کنید

مشخصات مقاله

عنوان نشریه: 
 
اطلاعات شماره: 
پاييز 1382 , دوره  - , شماره  13 ; از صفحه 11 تا صفحه 29 .
 
عنوان مقاله: 

مدلي براي توصيف پروتكل هاي رمزنگاري و تفسير اجرايي مدل با رويكرد جبري

 
نویسندگان: 
 
آدرس:  
* بخش مهندسی برق، دانشکده فنی و مهندسی، دانشگاه تربیت مدرس، تهران
 
چکیده: 

اگرچه روشهاي تحليل منطقي و روشهاي ساخت حمله، دو رويكرد كلي در زمينه تحليل پروتكل هاي رمزنگاري است، اما اغلب براي تحليل پروتكل ها، به كارگيري توام آنها مناسبتر است. در اين مقاله، يك چارچوب عمومي براي يكپارچه سازي تحليل امنيت پروتكل هاي رمزنگاري ارايه شده است. بر اساس اين چارچوب مي توان روشهايي تحليلي ارايه كرد كه در آنها وارسي وجود ويژگيهاي امنيتي در پروتكل، همراه با وارسي وجود سناريوهاي نقض ويژگيهاي امنيتي، به صورت يكجا انجام مي شود. در اين مقاله همچنين يك مدل محاسباتي براي پروتكل هاي رمزنگاري، به عنوان جزيي از چارچوب عمومي مذكور همراه با يك تفسير اجرايي از آن، بر اساس سيستم هاي بازنويسي جبري ارايه شده است. با توصيف پروتكل در قالب مجموعه اي از گامهاي منفرد و به كمك يك الگوريتم تبديل، مجموعه اي پايان پذير و همگرا از قوانين بازنويسي مولد مسير اجراي پروتكل ايجاد مي شود. توصيف يك پروتكل رمزنگاري در چارچوب ارايه شده نيز به عنوان نمونه بيان شده است .

 
کلید واژه: 

 
موضوعات مرتبط: 
 
 
مقالات نشریه ای مرتبط:  
 
مقالات همایشی مرتبط: 
 
ارتباط خیلی زیاد ارتباط زیاد مرتبط ارتباط کمتر
 
ارجاعات: 
  • ثبت نشده است
 
استنادات: 
 
+جهت ارجاع به این مقاله کلیک کنید(Cite).
APA : کپی

جلیلی، س.، و ترک لادانی، ب. (1382). مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری. فنی و مهندسی مدرس, -(13), 11-29. https://www.sid.ir/fa/journal/ViewPaper.aspx?id=1355



Vancouver : کپی

جلیلی سعید، ترک لادانی بهروز. مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری. فنی و مهندسی مدرس. 1382 [cited 2021June23];-(13):11-29. Available from: https://www.sid.ir/fa/journal/ViewPaper.aspx?id=1355



IEEE : کپی

جلیلی، س.، ترک لادانی، ب.، 1382. مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری. فنی و مهندسی مدرس, [online] -(13), pp.11-29. Available: https://www.sid.ir/fa/journal/ViewPaper.aspx?id=1355.



 

 
بازدید یکساله 205 مباني نظري و تجربي ونداليسم: مروري بر يافته هاي يك تحقيق
 
آخرین های بلاگ
ورود به بلاگ مرکز اطلاعات علمی