امنیت سیستم های نرم افزاری با روشهای صوری
سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,343
فایل این مقاله در 11 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ITCC01_459
تاریخ نمایه سازی: 9 فروردین 1395
چکیده مقاله:
رشد چشمگیر اینترنت و سادگی و مزایای تبادلات برخط نیاز به طراحی و پیاده سازی پروتکل های تجارتالکترونیکی را افزایش داده است. مهمترین موضوع امنیت است و رمزنگاری، ضامن امنیت در چنین ساختارهایی است.حال آنکه حصول اطمینان از امنیت خود این پروتکل ها به لحاظ طبیعت واکنشی آن ها چندان ساده نیست. به نظر میرسد روش های صوری ابزار مناسب برای درستی یابی وجه واکنشی از امنیت پروتکل ها است. از این رو امنیتپروتکل های رمزنگاری یک زمینه تحقیقاتی فعال به حساب می آید و درستی یابی پروتکل های رمزنگاری توسطروش های صوری امکان پذیر است. در این مقاله سعی بر این است که نشان چگونه با روشهای صوری می توان امنیترا در سیستم های نرم افزاری برقرار کرد.
کلیدواژه ها:
نویسندگان
سمیه عزیزی
عضو هیئت علمی دانشگاه آزاد اسلامی اراک سما، گروه کامپیوتر
محمدرضا سلطان آقائی
عضو هیئت علمی دانشگاه آزاد اسلامی واحد اصفهان (خوراسگان)
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :