امنیت سیستم های نرم افزاری با روشهای صوری
- سال انتشار: 1394
- محل انتشار: کنفرانس بین المللی پژوهش های کاربردی در فناوری اطلاعات، کامپیوتر ومخابرات
- کد COI اختصاصی: ITCC01_459
- زبان مقاله: فارسی
- تعداد مشاهده: 1507
نویسندگان
عضو هیئت علمی دانشگاه آزاد اسلامی اراک سما، گروه کامپیوتر
عضو هیئت علمی دانشگاه آزاد اسلامی واحد اصفهان (خوراسگان)
چکیده
رشد چشمگیر اینترنت و سادگی و مزایای تبادلات برخط نیاز به طراحی و پیاده سازی پروتکل های تجارتالکترونیکی را افزایش داده است. مهمترین موضوع امنیت است و رمزنگاری، ضامن امنیت در چنین ساختارهایی است.حال آنکه حصول اطمینان از امنیت خود این پروتکل ها به لحاظ طبیعت واکنشی آن ها چندان ساده نیست. به نظر میرسد روش های صوری ابزار مناسب برای درستی یابی وجه واکنشی از امنیت پروتکل ها است. از این رو امنیتپروتکل های رمزنگاری یک زمینه تحقیقاتی فعال به حساب می آید و درستی یابی پروتکل های رمزنگاری توسطروش های صوری امکان پذیر است. در این مقاله سعی بر این است که نشان چگونه با روشهای صوری می توان امنیترا در سیستم های نرم افزاری برقرار کرد.کلیدواژه ها
رمزنگاری، روش های صوری، پروتکل، امنیتمقالات مرتبط جدید
- طبقه بندی صفحات وب برای بهینه سازی موتورهای جستجو با استفاده از مدل ترکیبی یادگیری عمیق
- تحول دیجیتال با قراردادهای هوشمند بر پایه فناوری بلاکچین
- تحلیل و شناسایی آسیبپذیریهای ناش ی از حملات شرایط رقابتی در برنامه های وب مدرن
- مروری بر الگوریتم بهینه سازی ازدحام ذرات و کاربردها
- بهینه سازی زمانبندی و ذخیره سازی نتایج وظایف در محیطهای مه-ابر با یادگیری تقویتی
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.