دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
دانلود کتاب مبانی تجزیه و تحلیل امنیت و طراحی V: FOSAD 2007/2008/2009 سخنرانی های آموزشی
مشخصات کتاب
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
ویرایش: [1 ed.] نویسندگان: Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.) سری: Lecture Notes in Computer Science 5705 : Security and Cryptology ISBN (شابک) : 364203828X, 9783642038280 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 339 [346] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی تجزیه و تحلیل امنیت و طراحی V: FOSAD 2007/2008/2009 سخنرانی های آموزشی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی تجزیه و تحلیل امنیت و طراحی V: FOSAD 2007/2008/2009 سخنرانی های آموزشی
فوساد یکی از مهمترین رویدادهای آموزشی است که با هدف انتشار دانش در حوزه حیاتی امنیت در سیستم‌ها و شبکه‌های کامپیوتری ایجاد شده است. FOSAD با ارائه طیف خوبی از تحقیقات فعلی در زمینه مبانی امنیت، پانل هایی را که به مشکلات باز موضوعی اختصاص داده شده و ارائه هایی در مورد کارهای در حال انجام در این زمینه ارائه می دهد، به منظور حمایت از بحث ها و همکاری های علمی جدید.
این کتاب نسخه‌های اصلاح‌شده‌ای از ده سخنرانی آموزشی ارائه‌شده توسط محققان برجسته در سه مدرسه بین‌المللی مبانی تحلیل و طراحی امنیتی، FOSAD 2007/2008/2009، که در برتینورو، ایتالیا، در سپتامبر 2007، آگوست 2008، و اوت/سپتامبر 2009 برگزار شد، ارائه می‌کند. موضوعات مورد بحث در این کتاب شامل تجزیه و تحلیل پروتکل رمزنگاری، گواهی برنامه و منابع، مدیریت هویت و رای گیری الکترونیکی، کنترل دسترسی و مجوز، امنیت بی سیم، کد موبایل و امنیت ارتباطات است.
توضیحاتی درمورد کتاب به خارجی
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to favour discussions and novel scientific collaborations.
This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics covered in this book include cryptographic protocol analysis, program and resource certification, identity management and electronic voting, access and authorization control, wireless security, mobile code and communications security.
فهرست مطالب
Front Matter....Pages -
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties....Pages 1-50
An Introduction to Certificate Translation....Pages 51-95
Federated Identity Management....Pages 96-120
Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment....Pages 121-144
Logic in Access Control (Tutorial Notes)....Pages 145-165
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols....Pages 166-194
Verification of Concurrent Programs with Chalice....Pages 195-222
Certified Static Analysis by Abstract Interpretation....Pages 223-257
Resource Usage Analysis and Its Application to Resource Certification....Pages 258-288
Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks....Pages 289-338
Back Matter....Pages -
