دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
دانلود کتاب مهندسی و نرم افزارهای ایمن مهندسی: دومین سمپوزیوم بین المللی ، ESSoS 2010 ، پیزا ، ایتالیا ، 3-4 فوریه 2010. مجموعه مقالات
مشخصات کتاب
Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
ویرایش: 1 نویسندگان: Francesco Gadaleta, Yves Younan, Wouter Joosen (auth.), Fabio Massacci, Dan Wallach, Nicola Zannone (eds.) سری: Lecture Notes in Computer Science 5965 : Security and Cryptology ISBN (شابک) : 9783642117466, 3642117465 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 251 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب مهندسی و نرم افزارهای ایمن مهندسی: دومین سمپوزیوم بین المللی ، ESSoS 2010 ، پیزا ، ایتالیا ، 3-4 فوریه 2010. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، رمزگذاری داده ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، ساختارهای داده، رمز شناسی و نظریه اطلاعات، کاربردهای ریاضی در علوم کامپیوتر، مدل ها و اصول
در صورت تبدیل فایل کتاب Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی و نرم افزارهای ایمن مهندسی: دومین سمپوزیوم بین المللی ، ESSoS 2010 ، پیزا ، ایتالیا ، 3-4 فوریه 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی و نرم افزارهای ایمن مهندسی: دومین سمپوزیوم بین المللی ، ESSoS 2010 ، پیزا ، ایتالیا ، 3-4 فوریه 2010. مجموعه مقالات
این کتاب مجموعه مقالات داوری دومین سمپوزیوم بین‌المللی مهندسی نرم‌افزار و سیستم‌های ایمن، ESSoS 2010 است که در پیزا، ایتالیا، در فوریه 2010 برگزار شد.
9 مقاله کامل اصلاح‌شده ارائه شده است. به همراه 8 مقاله ایده به دقت بررسی و از بین 58 مقاله ارسالی انتخاب شد. این مقالات در بخش‌های موضوعی در مورد تجزیه و تحلیل و پیشگیری از حمله، تأیید خط‌مشی و اجرای آن، و توسعه سیستم و نرم‌افزار ایمن سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Second International Symposium on Engineering Secure Software and Systems, ESSoS 2010, held in Pisa, Italy, in February 2010.
The 9 revised full papers presented together with 8 ideas papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on attack analysis and prevention, policy verification and enforcement, and secure system and software development.
فهرست مطالب
Front Matter....Pages -
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks....Pages 1-17
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests....Pages 18-34
Idea: Opcode-Sequence-Based Malware Detection....Pages 35-43
Experiences with PDG-Based IFC....Pages 44-60
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications....Pages 61-69
Idea: Towards Architecture-Centric Security Analysis of Software....Pages 70-78
Formally-Based Black-Box Monitoring of Security Protocols....Pages 79-95
Secure Code Generation for Web Applications....Pages 96-113
Idea: Reusability of Threat Models – Two Approaches with an Experimental Evaluation....Pages 114-122
Model-Driven Security Policy Deployment: Property Oriented Approach....Pages 123-139
Category-Based Authorisation Models: Operational Semantics and Expressive Power....Pages 140-156
Idea: Efficient Evaluation of Access Control Constraints....Pages 157-165
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach....Pages 166-181
Idea: Enforcing Consumer-Specified Security Properties for Modular Software....Pages 182-191
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks....Pages 192-200
Automatic Generation of Smart, Security-Aware GUI Models....Pages 201-217
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems....Pages 218-230
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality....Pages 231-240
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Situating Environmental History
دانلود کتاب Flucht über die Ostsee 1944–45 im Bild
دانلود کتاب 2 Lectures: I) "Existentialism" [1956] + II) "the Problem of Sokrates" [1970]
