علی محسن زاده - دانشجوی کارشناسی ارشد
همایون موتمنی - عضو هیئت علمی دانشگاه آزاد اسلامی واحد ساری

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

آسیب پذیری، الگوهای امنیتی، پتری نت تصادفی، متریک های امنیتی، نیازمندهای امنیتی،petri net