عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642294197
شابک
3642294200
شابک
9783642294198
شابک
9783642294204
شماره کتابشناسی ملی
شماره
b598166
عنوان و نام پديدآور
عنوان اصلي
Formal Aspects of Security and Trust :
نام عام مواد
[Book]
ساير اطلاعات عنواني
8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
نام نخستين پديدآور
edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
2012
فروست
عنوان فروست
Lecture Notes in Computer Science, 7140.
يادداشت کلی
متن يادداشت
Computer Science (Springer-11645).
یادداشتهای مربوط به مندرجات
متن يادداشت
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 of ubiquitous computing.- validation/analysis tools.- web service security/trust/privacy.- grid security.- security risk assessment.- case studies.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on 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 of ubiquitous computing; validation/analysis tools; web service security/trust/privacy; grid security; security risk assessment; and case studies.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer Communication Networks.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Data protection.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Anupam Datta
مستند نام اشخاص تاييد نشده
Gilles Barthe
مستند نام اشخاص تاييد نشده
Sandro Etalle
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
