دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
دانلود کتاب مبانی تحلیل و طراحی امنیتی VI: سخنرانیهای آموزشی FOSAD
مشخصات کتاب
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
ویرایش: 1 نویسندگان: Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.) سری: Lecture Notes in Computer Science 6858 ISBN (شابک) : 3642230814, 9783642230813 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 284 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 37,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی تحلیل و طراحی امنیتی VI: سخنرانیهای آموزشی FOSAD نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی تحلیل و طراحی امنیتی VI: سخنرانیهای آموزشی FOSAD
FOSAD یکی از مهمترین رویدادهای آموزشی است که با هدف انتشار دانش در حوزه حیاتی امنیت در سیستم‌ها و شبکه‌های کامپیوتری ایجاد شده است. FOSAD با ارائه یک طیف به موقع از تحقیقات جاری در مبانی امنیت، پانل هایی را پیشنهاد می کند که به مشکلات باز موضوعی اختصاص داده شده است، و ارائه هایی در مورد کارهای در حال انجام در این زمینه، به منظور تحریک بحث ها و همکاری های علمی جدید ارائه می کند. این کتاب نسخه‌های اصلاح‌شده‌ای از نه سخنرانی آموزشی ارائه‌شده توسط محققان برجسته در سه مدرسه بین‌المللی مبانی تحلیل و طراحی امنیتی، FOSAD، که در برتینورو، ایتالیا، در سپتامبر 2010 و آگوست/سپتامبر 2011 برگزار شد، ارائه می‌کند. موضوعات مورد بحث در این کتاب عبارتند از حریم خصوصی و حفاظت از داده ها؛ API های امنیتی؛ تأیید رمزنگاری با تایپ کردن؛ امنیت مدل محور؛ تجزیه و تحلیل جریان اطلاعات کمی بدون تداخل؛ و تجزیه و تحلیل ریسک.
توضیحاتی درمورد کتاب به خارجی
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 timely 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 stimulate discussions and novel scientific collaborations. This book presents thoroughly revised versions of nine tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2010 and August/September 2011. The topics covered in this book include privacy and data protection; security APIs; cryptographic verification by typing; model-driven security; noninterfer-quantitative information flow analysis; and risk analysis.
فهرست مطالب
Front Matter....Pages -
Protecting Privacy in Data Release....Pages 1-34
An Introduction to Security API Analysis....Pages 35-65
Cryptographic Verification by Typing for a Sample Protocol Implementation....Pages 66-100
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications....Pages 101-124
On Intransitive Non-interference in Some Models of Concurrency....Pages 125-151
A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach....Pages 152-184
The Geometry of Lattice Cryptography....Pages 185-210
Quantitative Information Flow and Applications to Differential Privacy....Pages 211-230
Risk Analysis of Changing and Evolving Systems Using CORAS....Pages 231-274
Back Matter....Pages -
