Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures (Paperback, 2011)

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a timely spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to stimulate discussions and novel scientific collaborations. This book presents thoroughly revised versions of nine tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2010 and August/September 2011. The topics covered in this book include privacy and data protection; security APIs; cryptographic verification by typing; model-driven security; noninterfer-quantitative information flow analysis; and risk analysis.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Security and Cryptology, 6858
Release date:	August 2011
First published:	2011
Editors:	Alessandro Aldini • Roberto Gorrieri
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	275
Edition:	2011
ISBN-13:	978-3-642-23081-3
Categories:	Books > Computing & IT > Internet > Network computers Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Databases > Data security & data encryption
LSN:	3-642-23081-4
Barcode:	9783642230813

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!