4 SID.ir | مدلي براي توصيف پروتكل هاي رمزنگاري و تفسير اجرايي مدل با رويكرد جبري
برای اطلاع از آخرین مقالات علمی و اخبار کرونا(COVID-19) کلیک کنید

مشخصات مقاله

عنوان نشریه: 
 
عنوان مقاله: 

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

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

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

 
کلید واژه: 

 
موضوعات مرتبط: 
-
 
ارجاعات: 
  • ندارد
 
 
مقالات نشریه ای مرتبط: 
 
مقالات همایشی مرتبط: 
 

  بازدید یکساله 197
 
 
آخرین های بلاگ
ورود به بلاگ مرکز اطلاعات علمی