پدرام امینی - دانشگاه صنعتی مالک اشتر تهران
ابوالقاسم صادقی - دانشگاه صنعتی مالک اشتر تهران
عباس غلام زاده - دانشگاه صنعتی مالک اشتر تهران
هانی ربیعی - دانشگاه صنعتی مالک اشتر تهران

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

امنیت شبکه، روش های فرمال، پروتکل های امنیتی، شبکه های پتری