Book Details

978-3-540-31936-8

Foundations of Security Analysis and Design III

Publication year: 2005

ISBN: 978-3-540-31936-8

Internet Resource: Please Login to download book


The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects. The “Int- national School on Foundations of Security Analysis and Design” (FOSAD, see http://www.sti.uniurb.it/events/fosad/)has been one of the foremost events - tablishedwiththegoalofdisseminatingknowledgeinthiscriticalarea,especially for young researchers approaching the ?eld and graduate students coming from less-favoured and non-leading countries. The FOSAD school is held annually at the Residential Centre of Bertinoro (http://www.ceub.it/), in the fascinating setting of a former convent and ep- copal fortress that has been transformed into a modern conference facility with computing services and Internet access. Since the ?rst school, in 2000, FOSAD hasattractedmorethan250participantsand50lecturersfromallovertheworld.


Subject: Computer Science, Unified Modeling Language (UML), authentication, cryptanalysis, cryptographic hardware, cypher implementation, formal method, hardware implementation, intrusion detection, privacy, security, security engineering, side-channel attacks, smart cards, systems security, trust requirements