امنیت سیستم های نرم افزاری با روشهای صوری

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,316

فایل این مقاله در 11 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ITCC01_459

تاریخ نمایه سازی: 9 فروردین 1395

چکیده مقاله:

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

نویسندگان

سمیه عزیزی

عضو هیئت علمی دانشگاه آزاد اسلامی اراک سما، گروه کامپیوتر

محمدرضا سلطان آقائی

عضو هیئت علمی دانشگاه آزاد اسلامی واحد اصفهان (خوراسگان)

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Intermational Conference Om Information Tecbnology, Computer & Communication رایمذپژو0 28 ...
  • امحمد ترابی دشتی، روش می صوری در درستی یابی پروتکل ...
  • .Pedro Miguel dos Santos Alves Madeira Adao (Licenciado) , Dissertac ...
  • .C. Meadows. Applying formal methods to the analysis of a ...
  • Li Zhiwei, Aidong Lu, Weichao Wang, , Formal Methods in ...
  • Colin Boyd, Security Architectures Using Formal Methods, IEEE JOURNAL _ ...
  • نمایش کامل مراجع