دانلود کتاب Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers

Name: Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers
Availability: InStock
Author: Fred B. Schneider (auth.)
ISBN: 3540206930, 9783540206934

by Fred B. Schneider (auth.)

عنوان فارسی: جنبه های رسمی امنیتی: اولین کنفرانس بین المللی، FASec 2002، لندن، انگلستان، دسامبر 16-18، 2002. مقالات تجدید نظر
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2003
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 246-249
شابک: 3540206930, 9783540206934
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 2.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Formal Aspects of Security, FASec 2002, held in London, UK, in December 2002.The 11 revised full papers presented together with 7 invited contributions were carefully reviewed, selected, and improved for inclusion in the book. The papers are organized in topical sections on protocol verification, analysis of protocols, security modelling and reasoning, and intrusion detection systems and liveness.

گزارش اشکال ⚠