دانلود کتاب Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
کتاب جنبه های رسمی امنیت و اعتماد: هفتمین کارگاه بین المللی، FAST 2010، پیزا، ایتالیا، 16-17 سپتامبر 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب جنبه های رسمی امنیت و اعتماد: هفتمین کارگاه بین المللی، FAST 2010، پیزا، ایتالیا، 16-17 سپتامبر 2010. مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
نام کتاب : Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : جنبه های رسمی امنیت و اعتماد: هفتمین کارگاه بین المللی، FAST 2010، پیزا، ایتالیا، 16-17 سپتامبر 2010. مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6561 Security and Cryptology
نویسندگان : Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 248
ISBN (شابک) : 9783642197512 , 3642197515
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از داوری کامل هفتمین کارگاه بین المللی جنبه های رسمی امنیت و اعتماد، FAST 2010 است که به عنوان بخشی از هشتمین کنفرانس بین المللی IEEE در زمینه مهندسی نرم افزار و روش های رسمی، SEFM 2010 در پیزا، ایتالیا در سپتامبر 2010. 14 مقاله کامل اصلاح شده ارائه شده همراه با یک مقاله دعوت شده به دقت بررسی و از بین 42 مقاله ارسالی انتخاب شدند. مقالات بر جنبه‌های رسمی در مدل‌های خط‌مشی امنیت و اعتماد، طراحی و تحلیل پروتکل امنیتی، مدل‌های رسمی اعتماد و شهرت، منطق امنیت و اعتماد، سیستم‌های مدیریت اعتماد توزیع شده، استدلال مبتنی بر اعتماد، حفاظت از دارایی‌های دیجیتال، حفاظت از داده‌ها، حریم خصوصی تمرکز دارند. و مسائل مربوط به شناسه، تجزیه و تحلیل جریان اطلاعات، امنیت مبتنی بر زبان، جنبه‌های امنیت و اعتماد در محاسبات همه جا حاضر، ابزارهای اعتبارسنجی/تحلیل، امنیت/اعتماد/حریم خصوصی سرویس وب، امنیت شبکه، ارزیابی ریسک امنیتی، و مطالعات موردی.
< /p>فهرست مطالب :
Front Matter....Pages -
Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks....Pages 1-17
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems....Pages 18-33
Efficient Decision Procedures for Message Deducibility and Static Equivalence....Pages 34-49
Understanding Abstractions of Secure Channels....Pages 50-64
Information Flow Analysis via Path Condition Refinement....Pages 65-79
Foundations of Attack–Defense Trees....Pages 80-95
Reasoning with Past to Prove PKCS#11 Keys Secure....Pages 96-110
A Formal Analysis of Authentication in the TPM....Pages 111-125
Modeling Identity-Related Properties and Their Privacy Strength....Pages 126-140
Semantics of Trust....Pages 141-156
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction....Pages 157-175
Corrective Enforcement of Security Policies....Pages 176-190
Cryptographic Enforcement of Role-Based Access Control....Pages 191-205
A Calculus for the Analysis of Wireless Network Security Protocols....Pages 206-222
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus....Pages 223-238
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Pisa, Italy in September 2010. The 14 revised full papers presented together with one invited paper were carefully reviewed and selected from 42 submissions. The papers focus of formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and id issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, grid security, security risk assessment, and case studies.
پست ها تصادفی