مشخصات کتاب

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: Anindya Banerjee (auth.),  Pierpaolo Degano,  Joshua D. Guttman (eds.)  
سری: Lecture Notes in Computer Science 5983 : Security and Cryptology 
ISBN (شابک) : 3642124585, 9783642124587 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 287 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب جنبه های رسمی در امنیت و اعتماد: ششمین کارگاه بین المللی ، 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب جنبه های رسمی در امنیت و اعتماد: ششمین کارگاه بین المللی ، FAST 2009 ، آیندهوون ، هلند ، 5-6 نوامبر 2009 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب جنبه های رسمی در امنیت و اعتماد: ششمین کارگاه بین المللی ، FAST 2009 ، آیندهوون ، هلند ، 5-6 نوامبر 2009 ، نسخه های تجدید نظر شده

این کتاب مجموعه مقالات پس از کارگاه آموزشی ششمین کارگاه بین المللی جنبه های رسمی در امنیت و اعتماد، FAST 2009 است که تحت نظارت IFIP WG 1.7 در آیندهوون، هلند، در نوامبر 2009 به عنوان رویدادی از روش های رسمی برگزار شد. هفته، FMweek 2009. 18 مقاله اصلاح شده ارائه شده همراه با چکیده ای از سخنرانی دعوت شده به دقت بررسی و از 50 مقاله ارسالی انتخاب شدند. مقالات بر جنبه‌های رسمی در مدل‌های خط‌مشی امنیت و اعتماد، طراحی و تحلیل پروتکل امنیتی، مدل‌های رسمی اعتماد و شهرت، منطق امنیت و اعتماد، سیستم‌های مدیریت اعتماد توزیع شده، استدلال مبتنی بر اعتماد، حفاظت از دارایی‌های دیجیتال، حفاظت از داده‌ها، حریم خصوصی تمرکز دارند. و مسائل مربوط به id، تجزیه و تحلیل جریان اطلاعات، امنیت مبتنی بر زبان، جنبه های امنیت و اعتماد در محاسبات همه جا حاضر، ابزارهای اعتبارسنجی/تحلیل، امنیت/اعتماد/حریم خصوصی سرویس وب، امنیت شبکه، ارزیابی ریسک امنیتی و مطالعات موردی.

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

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.

فهرست مطالب

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 -

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

کتاب های مرتبط

دانلود کتاب Mastering Julia: Develop your analytical and programming skills further in Julia to solve complex data processing problems

دانلود کتاب Computer design and architecture

دانلود کتاب Introduction to the off-line version of Yacas

دانلود کتاب Computer Gaming World (July)

دانلود کتاب Performance Analysis of Queuing and Computer Networks (Chapman & Hall Crc Computer & Information Science Series)

دانلود کتاب Recent Advances in Intrusion Detection: 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005. Revised Papers

دانلود کتاب Qualitative Representation of Spatial Knowledge

دانلود کتاب Matching Properties of Deep Sub-Micron MOS Transistors (The Springer International Series in Engineering and Computer Science)

دانلود کتاب Progress In Computer Vision And Image Analysis (Series in Machine Perception & Artifical Intelligence) (Series in Machine Perception and Artificial Intelligence)

دانلود کتاب Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers