000			00651nam a2200193Ia 4500
999			_c22738 _d22738
008			161214s9999 xx 000 0 und d
020			_a9783642230813 _cpbk
082			_a004 _bALD
100			_aAldini, Alessandro
245		0	_aFoundations of security analysis and design VI : FOSAD tutorial lectures
260			_aBerlin: _bSpringer, _c2011
300			_avi, 274 p.; _bill.: _c24 cm.
365			_aINR _b3385.60/ EURO 46.00
440			_v6858
490			_aLecture notes in computer science
520			_aFOSAD 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
650			_aComputer networks
650			_aNoninterfer-quantitative information flow analysis
650			_aData protection
650			_aSecurity APIs
650			_aCryptographic verification by typing
650			_aModel-driven security
650			_aSecurity measures
650			_aComputer security
650			_aInformatique
650			_aRisk analysis
650			_aData protection
700			_aGorrieri, Roberto
942			_2ddc _cBK