ارزیابی جنبه های عملیاتی پروتکل های امنیتی شبکه با استفاده از شبکه های پتری
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,091
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
AEBSCONF01_164
تاریخ نمایه سازی: 6 آبان 1393
Abstract:
روش فرمال، به روشی اشاره دارد که شالوده ریاضی دارند، و در نتیجه، تکنیک ها و ابزارها را به کار می گیرند تا بر اساس ریاضیات و منطق ریاضی که از مدل سازی، مشخصات و استدلال حمایت می کند، درباره تأیید سیستم های سخت افزاری و نرم افزاری استدلال کنند. مزایای روش های فرمال، مانند اصول واضح، انتزاع، دقت و تغییر پذیری، سبب می شوند تا به عنوان ابزاری برای ارزیابی مدل های امنیتی استفاده شوند. شبکه های پتری، یک زبان فورمال است که برای مدل سازی طیف گسترده ای از سیستم های واقعی، مانند پروتکل های پیچیده شبکه و سیستم های اطلاعات کسب و کار استفاده می شود. در این مقاله، به ارزیابی جنبه های عملیاتی پروتکل های امنیتی پرداخته ایم. این پروتکل های امنیتی با استفاده از شبکه های پتری مدسل سازی شده اند و پس از تجزیه و تحلیل، از نظر جنبه های عملیاتی ارزیابی شده اند.
Keywords:
Authors
پدرام امینی
دانشگاه صنعتی مالک اشتر تهران
ابوالقاسم صادقی
دانشگاه صنعتی مالک اشتر تهران
عباس غلام زاده
دانشگاه صنعتی مالک اشتر تهران
هانی ربیعی
دانشگاه صنعتی مالک اشتر تهران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :