دانلود کتاب Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
دسته: کامپیوتر
کتاب جنبه های رسمی در امنیت و اعتماد: ششمین کارگاه بین المللی، FAST 2009، آیندهوون، هلند، 5-6 نوامبر 2009، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب جنبه های رسمی در امنیت و اعتماد: ششمین کارگاه بین المللی، FAST 2009، آیندهوون، هلند، 5-6 نوامبر 2009، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
نام کتاب : Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : جنبه های رسمی در امنیت و اعتماد: ششمین کارگاه بین المللی، FAST 2009، آیندهوون، هلند، 5-6 نوامبر 2009، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 5983 : Security and Cryptology
نویسندگان : Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 287
ISBN (شابک) : 3642124585 , 9783642124587
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کارگاه آموزشی ششمین کارگاه بین المللی جنبه های رسمی در امنیت و اعتماد، FAST 2009 است که تحت نظارت IFIP WG 1.7 در آیندهوون، هلند، در نوامبر 2009 به عنوان رویدادی از روش های رسمی برگزار شد. هفته، FMweek 2009. 18 مقاله اصلاح شده ارائه شده همراه با چکیده ای از سخنرانی دعوت شده به دقت بررسی و از 50 مقاله ارسالی انتخاب شدند. مقالات بر جنبه‌های رسمی در مدل‌های خط‌مشی امنیت و اعتماد، طراحی و تحلیل پروتکل امنیتی، مدل‌های رسمی اعتماد و شهرت، منطق امنیت و اعتماد، سیستم‌های مدیریت اعتماد توزیع شده، استدلال مبتنی بر اعتماد، حفاظت از دارایی‌های دیجیتال، حفاظت از داده‌ها، حریم خصوصی تمرکز دارند. و مسائل مربوط به id، تجزیه و تحلیل جریان اطلاعات، امنیت مبتنی بر زبان، جنبه های امنیت و اعتماد در محاسبات همه جا حاضر، ابزارهای اعتبارسنجی/تحلیل، امنیت/اعتماد/حریم خصوصی سرویس وب، امنیت شبکه، ارزیابی ریسک امنیتی و مطالعات موردی.
فهرست مطالب :
Front Matter....Pages -
Semantics and Enforcement of Expressive Information Flow Policies....Pages 1-3
An Algebra for Trust Dilution and Trust Fusion....Pages 4-20
HMM-Based Trust Model....Pages 21-35
Deriving Trust from Experience....Pages 36-50
Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties....Pages 51-65
Model Checking of Security-Sensitive Business Processes....Pages 66-80
Analysing the Information Flow Properties of Object-Capability Patterns....Pages 81-95
Applied Quantitative Information Flow and Statistical Databases....Pages 96-110
Specification and Verification of Side Channel Declassification....Pages 111-125
Secure Information Flow for Distributed Systems....Pages 126-140
Probable Innocence in the Presence of Independent Knowledge....Pages 141-156
A Calculus of Trustworthy Ad Hoc Networks....Pages 157-172
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties....Pages 173-185
Game-Based Verification of Multi-Party Contract Signing Protocols....Pages 186-200
Attack, Solution and Verification for Shared Authorisation Data in TCG TPM....Pages 201-216
Trusted Multiplexing of Cryptographic Protocols....Pages 217-232
Specifying and Modelling Secure Channels in Strand Spaces....Pages 233-247
Integrating Automated and Interactive Protocol Verification....Pages 248-262
A User Interface for a Game-Based Protocol Verification Tool....Pages 263-278
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, held under the auspices of IFIP WG 1.7 in Eindhoven, The Netherlands, in November 2009 as an event of the Formal Methods Week, FMweek 2009. The 18 revised papers presented together with an abstract of the invited lecture were carefully reviewed and selected from 50 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.
پست ها تصادفی