
Formal Models and Techniques for Analyzing Security Protocols
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2011
نویسنده
Vaeronique Cortierنویسنده
Vaeronique Cortierناشر
IOS Pressناشر
IOS Pressشابک
9781607507130
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران