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

Author/creator Degano, Pierpaolo Volume Editor
Other author Guttman, Joshua D. Volume Editor
Other author Martinelli, Fabio Volume Editor
Format Electronic
Publication InfoNew York : Springer
Descriptionx, 331 p. 23.500 x 015.500 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from Springer Books
Subjects
Computer Security
Computer Science
Trust

SeriesLecture Notes in Computer Science / Security and Cryptology Ser.
Summary Annotation 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.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
ISBN9783642014642
ISBN364201464X (Trade Paper) Active Record
Standard identifier# 9783642014642
Stock number00024965