ایمنی و امنیت نرم افزار
26 صفحه فایل ورد و قابل ویرایش
فصل 1- مهندسی سیستم مبتنی بر مدل (MBSE). 4
1-1- مقدمه 4
1-2- پیشینه. 5
1-3- روش.... 6
1-4- مدل مبتنی بر عامل.. 7
1-5- ساختار عامل SOS. 9
1-6- ساختار سیستم عامل.. 11
1-7- جمعبندی.. 13
فصل 2- سیاست های ایمنی نرم افزار زبان های برنامه سازی در کدهای جاوا 15
2-1- مقدمه 15
2-2- سیاست های ایمنی نرم افزار 16
2-3- زبان مدلسازی جاوا JML. 18
2-4- سیاست های ایمنی مبتنی بر سابقه. 20
2-5- نرمال سازی کد ها 21
2-6- پیاده سازی سیاست های ایمنی.. 22
2-7- جمع بندی.. 24
2-8- مراجع 25