مدل سازی و تحلیل پروتکل های امنیتی
Modelling & Analysis of Security Protocols
نویسنده: Peter Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, Bill Roscoe
ناشر: Addison-Wesley Professional
سال انتشار: 2000
تعداد صفحات: 314
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت