چارچوبي جهت توصيف و وارسي صوري امنيت در مدل‌هاي اعتماد محاسباتي

مقطع تحصيلي

دكتري

رشته تحصيلي

رشته‌ي مهندسي كامپيوتر، گرايش مهندسي نرم‌افزار

دانشكده

دانشكده مهندسي كامپيوتر، گروه مهندسي نرم‌افزار

تاريخ دفاع

مرداد ماه 1398

صفحه شمار

۱۱۶ ص.

استاد راهنما

بهروز ترك لاداني

كليدواژه فارسي

امنيت نرم , اعتماد , شهرت , حمله اعتماد , وارسي صوري , استحكام

تاريخ نمايه سازي

1398/06/20

نام نمايه ساز

هاجر پيرزاهد

كليدواژه لاتين

Soft Security , Trust , Reputation , Trust Attack , Formal Verification , Robustness

عنوان لاتين

A Framework for Formal Specification and Verification of Security in Trust Computational Models

نويسنده

قاسمپوري، سيد عسگري

لينک به اين مدرک