Formal Aspects in Security and Trust - 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers (Paperback, Edition.)

The present volume contains the proceedings of the 6th International workshop on Formal Aspects of Security and Trust (fast 2009), held in Eindhoven, The Netherlands, 5-6 November 2009, as part of Formal Methods Week 2009. fast is sponsored by IFIP WG 1.7 on Foundations of Security Analysis and Design. The previous ?ve fast workshop editions have fostered cooperation among researchers in the areas of security and trust, and we aimed to continue this tradition. As computing and networkinfrastructures become increasingly per- sive, and as they carry increasing economic activity, society needs well-matched security and trust mechanisms. These interactions increasingly span several - terprises and involve loosely structured communities of individuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions e?ectively determine the se- ritygoalsforsharedinformationandfor accessto sensitiveorvaluableresources. fast sought original papers focusing of formal aspects of: security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management s- tems; trust-based reasoning; digital assets protection; data protection; privacy and id issues; information ? ow 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. The fast proceedings contain-in addition to an abstract of the invited talk by Anindya Banerjee-revisionsoffull papersacceptedforpresentationat fast.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Security and Cryptology, 5983
Release date:	April 2010
First published:	2010
Editors:	Pierpaolo Degano • Joshua D. Guttman
Dimensions:	234 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	279
Edition:	Edition.
ISBN-13:	978-3-642-12458-7
Categories:	Books > Computing & IT > Computer communications & networking > Network security
LSN:	3-642-12458-5
Barcode:	9783642124587

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!