ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

دانلود کتاب نرم افزار و سیستم های ایمن مهندسی: سومین سمپوزیوم بین المللی، ESSoS 2011، مادرید، اسپانیا، 9-10 فوریه 2011. مجموعه مقالات

Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

مشخصات کتاب

Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 6542 
ISBN (شابک) : 364219124X, 9783642191244 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 286 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

قیمت کتاب (تومان) : 58,000



کلمات کلیدی مربوط به کتاب نرم افزار و سیستم های ایمن مهندسی: سومین سمپوزیوم بین المللی، ESSoS 2011، مادرید، اسپانیا، 9-10 فوریه 2011. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، رمزگذاری داده ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، ساختارهای داده، رمز شناسی و نظریه اطلاعات، کاربردهای ریاضی در علوم کامپیوتر، مدل ها و اصول



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 17


در صورت تبدیل فایل کتاب Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نرم افزار و سیستم های ایمن مهندسی: سومین سمپوزیوم بین المللی، ESSoS 2011، مادرید، اسپانیا، 9-10 فوریه 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نرم افزار و سیستم های ایمن مهندسی: سومین سمپوزیوم بین المللی، ESSoS 2011، مادرید، اسپانیا، 9-10 فوریه 2011. مجموعه مقالات



این کتاب مجموعه مقالات داوری سومین سمپوزیوم بین‌المللی مهندسی نرم‌افزار و سیستم‌های ایمن، ESSoS 2011، برگزار شده در مادرید، ایتالیا، در فوریه 2011 است. بررسی و از 63 مورد ارسالی انتخاب شد. مقالات در بخش‌های موضوعی در مورد امنیت مبتنی بر مدل، ابزارها و مکانیسم‌ها، امنیت وب، مهندسی الزامات امنیتی، و مجوز سازماندهی شده‌اند.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on model-based security, tools and mechanisms, Web security, security requirements engineering, and authorization.



فهرست مطالب

Front Matter....Pages -
Model-Based Refinement of Security Policies in Collaborative Virtual Organisations....Pages 1-14
Automatic Conformance Checking of Role-Based Access Control Policies via Alloy....Pages 15-28
Security Validation of Business Processes via Model-Checking....Pages 29-42
On-Device Control Flow Verification for Java Programs....Pages 43-57
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations....Pages 58-72
Predictability of Enforcement....Pages 73-86
SessionShield: Lightweight Protection against Session Hijacking....Pages 87-100
Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications....Pages 101-113
Middleware Support for Complex and Distributed Security Services in Multi-tier Web Applications....Pages 114-127
Lightweight Modeling and Analysis of Security Concepts....Pages 128-141
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications....Pages 142-155
An Architecture-Centric Approach to Detecting Security Patterns in Software....Pages 156-166
The Security Twin Peaks....Pages 167-180
Evolution of Security Requirements Tests for Service–Centric Systems....Pages 181-194
After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes....Pages 195-208
Authorization Enforcement Usability Case Study....Pages 209-220
Scalable Authorization Middleware for Service Oriented Architectures....Pages 221-233
Adaptable Authentication Model: Exploring Security with Weaker Attacker Models....Pages 234-247
Idea: Interactive Support for Secure Software Development....Pages 248-255
Idea: A Reference Platform for Systematic Information Security Management Tool Support....Pages 256-263
Idea: Simulation Based Security Requirement Verification for Transaction Level Models....Pages 264-271
Back Matter....Pages -




نظرات کاربران