دانلود کتاب Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
by Flemming Nielson
|
عنوان فارسی: استدلال خودکار برای تجزیه و تحلیل پروتکل امنیتی و مسائل در نظریه امنیت: کارگاه آموزشی مشترک، ARSPA-عقل 2010، پافوس، قبرس مارس 27-28، 2010. تجدید نظر مقالات انتخاب شده |