Degano, Pierpaolo,, Guttmann, Joshua.Martinelli, Fabio. (Eds.) (2009) Formal aspects in security and trust :5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers Berlin : Springer,MLA Citation
Degano, Pierpaolo,, Guttmann, Joshua.Martinelli, Fabio,eds. Formal Aspects In Security And Trust: 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; Revised Selected Papers. Berlin : Springer, 2009. Print.
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Formal aspects in security and trust : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
Pierpaolo Degano, Joshua Guttmann, Fabio Martinelli (eds.).
|Names:||Degano, Pierpaolo, | Guttmann, Joshua. | Martinelli, Fabio,|
|Published:||Berlin : Springer, 2009.|
Lecture notes in computer science ; 5491.
|Topics:||Computer security - Congresses. | Computer networks - Security measures - Congresses. | Cryptography - Congresses. | Computer networks - Security measures. | Cryptography. | Computer security. | Informatique.|
|Genres:||Electronic books. | Conference papers and proceedings.|
|Meeting Name:||FAST (Workshop) (5th : 2008 : Malaga, Spain)|
|Physical Description:||1 online resource (x, 330 pages) : illustrations.
|Includes:||Includes bibliographical references and index.
|Notes:||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.
Degano, Pierpaolo, 1950-
Martinelli, Fabio, 1969-