17913

COM3 63

دكتري

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

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

مرداد ماه 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