دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
دانلود کتاب نرم افزار و سیستم های ایمن مهندسی: اولین سمپوزیوم بین المللی ESSoS 2009، لوون، بلژیک، 4-6 فوریه، 2009. مجموعه مقالات
مشخصات کتاب
Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
ویرایش: 1 نویسندگان: Christian Wolter, Philip Miseldine, Christoph Meinel (auth.), Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone (eds.) سری: Lecture Notes in Computer Science 5429 : Security and Cryptology ISBN (شابک) : 364200198X, 9783642001987 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 209 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 81,000
کلمات کلیدی مربوط به کتاب نرم افزار و سیستم های ایمن مهندسی: اولین سمپوزیوم بین المللی ESSoS 2009، لوون، بلژیک، 4-6 فوریه، 2009. مجموعه مقالات: امنیت سیستم ها و داده ها، مهندسی نرم افزار، سیستم های عامل، تحلیل الگوریتم و پیچیدگی مسائل، مدیریت سیستم های محاسباتی و اطلاعاتی، رمزگذاری داده ها
در صورت تبدیل فایل کتاب Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار و سیستم های ایمن مهندسی: اولین سمپوزیوم بین المللی ESSoS 2009، لوون، بلژیک، 4-6 فوریه، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار و سیستم های ایمن مهندسی: اولین سمپوزیوم بین المللی ESSoS 2009، لوون، بلژیک، 4-6 فوریه، 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری اولین سمپوزیوم بین المللی مهندسی نرم افزار و سیستم های ایمن، ESSoS 2009، برگزار شده در لوون، بلژیک، در فوریه 2009 است.
10 مقاله کامل اصلاح شده ارائه شده است. همراه با 7 گزارش صنعت و مقاله ایده به دقت بررسی و از بین 57 مورد ارسالی انتخاب شد. این مقالات در بخش های موضوعی در مورد تأیید و اجرای سیاست، اصلاح مدل و تغییر برنامه، توسعه سیستم ایمن، تجزیه و تحلیل و پیشگیری از حملات، و همچنین آزمایش و اطمینان سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.
The 10 revised full papers presented together with 7 industry reports and ideas papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on policy verification and enforcement, model refinement and program transformation, secure system development, attack analysis and prevention, as well as testing and assurance.
فهرست مطالب
Front Matter....Pages -
Verification of Business Process Entailment Constraints Using SPIN....Pages 1-15
From Formal Access Control Policies to Runtime Enforcement Aspects....Pages 16-31
Idea: Trusted Emergency Management....Pages 32-36
Idea: Action Refinement for Security Properties Enforcement....Pages 37-42
Pattern-Based Confidentiality-Preserving Refinement....Pages 43-59
Architectural Refinement and Notions of Intransitive Noninterference....Pages 60-74
Systematically Eradicating Data Injection Attacks Using Security-Oriented Program Transformations....Pages 75-90
Report: Measuring the Attack Surfaces of Enterprise Software....Pages 91-100
Report: Extensibility and Implementation Independence of the .NET Cryptographic API....Pages 101-110
Report: CC-Based Design of Secure Application Systems....Pages 111-121
Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer....Pages 122-134
Toward Non-security Failures as a Predictor of Security Faults and Failures....Pages 135-149
A Scalable Approach to Full Attack Graphs Generation....Pages 150-163
MEDS: The Memory Error Detection System....Pages 164-179
Idea: Automatic Security Testing for Web Applications....Pages 180-184
Report: Functional Security Testing Closing the Software – Security Testing Gap: A Case from a Telecom Provider....Pages 185-194
Idea: Measuring the Effect of Code Complexity on Static Analysis Results....Pages 195-199
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Advocacy and Objectivity: A Crisis in the Professionalization of American Social Science, 1865-1905
دانلود کتاب Veganize This!: From Surf & Turf to Ice-Cream Pie--200 Animal-Free Recipes for People Who Love to Eat
دانلود کتاب Susan Mallery's Fool's Gold Cookbook: A Love Story Told Through 150 Recipes
