ENGLISH

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

By Pierpaolo Degano , Anindya Banerjee (auth.) , Joshua D. Guttman (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
3642124585, 9783642124587
DOI
10.1007/978-3-642-12459-4
Language
english
Format
PDF
Filesize
3 MB (3201852 bytes)
Series
Lecture Notes in Computer Science 5983 : Security and Cryptology
Edition
1
Pages
279\287
Topic
Computers
Time added
2011-06-04 13:46:07
Computer Communication Networks; Data Encryption;

Description

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.

Similar books