ارائه منطقي پيشرفته براي تحليل صوري پروتكل هاي رمزنگاري حمله اي عليه پروتكل mti a(0)

چكيده: تمركز روي تحليل پروتكل هاي رمزنگاري به منظور اطمينان از صحت آنه روز به روز گسترش يافته استدر سال ۱۹۸۹ آغاز شد. اين BAN تحليل صوري مبتني بر منطق، توسط باروز ۱، ابدي ۲، نيدهام ۳ با معرفي منطقدر جهت BAN هاي خانواده كند. در اين مقاله چهار نوع از منطق يابي مي هاي احراز اصالت را درست منطق پروتكلاي عليه آن ۴ ، معرفي، تحليل و حمله MTI A( شود. در نهايت پروتكل ( 0 سو سازي مي هاي امنيت هم اهداف پروتكل.[ شود[ ۱ طراحي م