دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.) سری: Lecture Notes in Computer Science 8604 Security and Cryptology ISBN (شابک) : 9783319100814, 9783319100821 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 290 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
کلمات کلیدی مربوط به کتاب مبانی تجزیه و تحلیل امنیت و طراحی VII: سخنرانی های آموزشی FOSAD 2012/2013: سیستم ها و امنیت داده ها، رمزگذاری داده ها، مدیریت محاسبات و سیستم های اطلاعاتی، تئوری محاسبات
در صورت تبدیل فایل کتاب Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی تجزیه و تحلیل امنیت و طراحی VII: سخنرانی های آموزشی FOSAD 2012/2013 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
FOSAD یکی از مهمترین رویدادهای آموزشی است که با هدف انتشار
دانش در حوزه حیاتی امنیت در سیستمها و شبکههای کامپیوتری
ایجاد شده است. در طول سالها، هم مدرسه تابستانی و هم مجموعه
کتابها نقطه مرجعی برای دانشجویان تحصیلات تکمیلی و محققان
جوان دانشگاهی یا صنعتی بودهاند که علاقهمند به نزدیک شدن به
این رشته، بررسی مشکلات باز و پیروی از خطوط اولویتدار تحقیق
هستند.
این کتاب نسخههای اصلاحشدهای از نه سخنرانی آموزشی ارائهشده
توسط محققان برجسته در سه مدرسه بینالمللی مبانی تحلیل و طراحی
امنیت، FOSAD، که در برتینورو، ایتالیا، در سپتامبر 2012 و 2013
برگزار شد، ارائه میکند. موضوعات مورد بحث در این کتاب شامل
امنیت مبتنی بر مدل، تأیید خودکار برنامههای کاربردی امن،
تجزیه و تحلیل جریان اطلاعات، سیستمهای رأیگیری رمزنگاری،
رمزگذاری در فضای ابری، و حفظ حریم خصوصی.
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.
Over the years, both the summer school and the book series
have represented a reference point for graduate students and
young researchers from academia or industry, interested to
approach the field, investigate open problems, and follow
priority lines of research.
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 2012
and 2013. The topics covered in this book include model-based
security, automatic verification of secure applications,
information flow analysis, cryptographic voting systems,
encryption in the cloud, and privacy preservation.
Front Matter....Pages -
Model-Based Testing for Functional and Security Test Generation....Pages 1-33
Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models....Pages 34-53
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif....Pages 54-87
Defensive JavaScript....Pages 88-123
Information Flow Control for Web Scripts....Pages 124-145
EasyCrypt : A Tutorial....Pages 146-166
Cryptographic Voting — A Gentle Introduction....Pages 167-211
Encryption and Fragmentation for Data Confidentiality in the Cloud....Pages 212-243
Location Privacy in WSNs: Solutions, Challenges, and Future Trends....Pages 244-282
Back Matter....Pages -