Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

این کتاب مجموعه مقالات پس از کارگاه آموزشی پنجمین کارگاه بین المللی جنبه های رسمی در امنیت و اعتماد، FAST 2008 است که تحت نظارت IFIP WG 1.7 در مالاگا، اسپانیا، در اکتبر 2008 برگزار شد. رویداد ماهواره ای سیزدهمین سمپوزیوم اروپایی پژوهش در امنیت رایانه.

20 مقاله اصلاح شده ارائه شده با دقت بررسی و از بین 59 مقاله ارسالی انتخاب شدند. مقالات بر جنبه های رسمی در امنیت، اعتماد و شهرت، طراحی و تجزیه و تحلیل پروتکل امنیتی، منطق برای امنیت و اعتماد، استدلال مبتنی بر اعتماد، سیستم های مدیریت اعتماد توزیع شده، حفاظت از دارایی های دیجیتال، حفاظت از داده ها، مسائل مربوط به مدیریت حریم خصوصی و شناسه، جریان اطلاعات تمرکز دارند. تجزیه و تحلیل، امنیت مبتنی بر زبان، جنبه های امنیت و اعتماد در محاسبات همه جا حاضر، ابزارهای اعتبارسنجی/تحلیل، امنیت/اعتماد/حریم خصوصی سرویس های وب/شبکه، امنیت و ارزیابی ریسک، منابع و کنترل دسترسی، و همچنین مطالعات موردی.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security.

The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies.