دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Secure Software and Systems: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
دانلود کتاب نرم افزار و سیستم های ایمن مهندسی: هشتمین سمپوزیوم بین المللی، ESSoS 2016، لندن، بریتانیا، 6-8 آوریل 2016. مجموعه مقالات
مشخصات کتاب
Engineering Secure Software and Systems: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
ویرایش: 1 نویسندگان: Juan Caballero, Eric Bodden, Elias Athanasopoulos (eds.) سری: Lecture Notes in Computer Science 9639 ISBN (شابک) : 9783319308050, 9783319308067 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 280 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب نرم افزار و سیستم های ایمن مهندسی: هشتمین سمپوزیوم بین المللی، ESSoS 2016، لندن، بریتانیا، 6-8 آوریل 2016. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، رمزگذاری داده ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، تحلیل الگوریتم و پیچیدگی مسائل، کاربردهای ریاضی در علوم کامپیوتر، مدل ها و اصول
در صورت تبدیل فایل کتاب Engineering Secure Software and Systems: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار و سیستم های ایمن مهندسی: هشتمین سمپوزیوم بین المللی، ESSoS 2016، لندن، بریتانیا، 6-8 آوریل 2016. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار و سیستم های ایمن مهندسی: هشتمین سمپوزیوم بین المللی، ESSoS 2016، لندن، بریتانیا، 6-8 آوریل 2016. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین سمپوزیوم بین المللی
مهندسی نرم افزار و سیستم های ایمن، ESSoS 2016، در لندن،
انگلستان، در آوریل 2016 است. بررسی و از بین 50 مورد ارسالی
انتخاب شد.
هدف این سمپوزیوم گرد هم آوردن محققان و دست اندرکاران برای
پیشبرد هنر و تمرین در مهندسی نرم افزار ایمن است. ارائه‌ها و
انتشارات مرتبط در ESSoS 2016 در چندین جهت به این هدف کمک
می‌کنند: اول، با بهبود روش‌شناسی برای مهندسی نرم‌افزار ایمن
(مانند تجزیه و تحلیل جریان و انطباق با خط‌مشی). دوم، با
نتایجی برای شناسایی و تجزیه و تحلیل آسیب پذیری های نرم افزار
و حملاتی که آنها را فعال می کنند. در نهایت، برای ایمن سازی
نرم افزار برای دامنه های کاربردی خاص (مانند دستگاه های تلفن
همراه و کنترل دسترسی).
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 8th
International Symposium on Engineering Secure Software and
Systems, ESSoS 2016, held in London, UK, in April 2016. The
13 full papers presented together with 3 short papers and 1
invited talk were carefully reviewed and selected from 50
submissions.
The goal of this symposium, is to bring together researchers
and practitioners to advance the states of the art and
practice in secure software engineering. The presentations
and associated publications at ESSoS 2016 contribute to this
goal in several directions: First, by improving methodologies
for secure software engineering (such as flow analysis and
policycompliance). Second, with results for the detection and
analysis of software vulnerabilities and the attacks they
enable. Finally, for securing software for specific
application domains (such as mobile devices and access
control).
فهرست مطالب
Front Matter....Pages I-X
Security Testing Beyond Functional Tests....Pages 1-19
Progress-Sensitive Security for SPARK....Pages 20-37
Sound and Precise Cross-Layer Data Flow Tracking....Pages 38-55
Automatically Extracting Threats from Extended Data Flow Diagrams....Pages 56-71
On the Static Analysis of Hybrid Mobile Apps....Pages 72-88
Semantics-Based Repackaging Detection for Mobile Apps....Pages 89-105
Accelerometer-Based Device Fingerprinting for Multi-factor Mobile Authentication....Pages 106-121
POODLEs, More POODLEs, FREAK Attacks Too: How Server Administrators Responded to Three Serious Web Vulnerabilities....Pages 122-137
HexPADS: A Platform to Detect “Stealth” Attacks....Pages 138-154
Analyzing the Gadgets....Pages 155-172
Empirical Analysis and Modeling of Black-Box Mutational Fuzzing....Pages 173-189
On the Security Cost of Using a Free and Open Source Component in a Proprietary Product....Pages 190-206
Idea: Usable Platforms for Secure Programming – Mining Unix for Insight and Guidelines....Pages 207-215
AppPAL for Android....Pages 216-232
Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language....Pages 233-250
Idea: Supporting Policy-Based Access Control on Database Systems....Pages 251-259
Idea: Enforcing Security Properties by Solving Behavioural Equations....Pages 260-268
Back Matter....Pages 269-269
