AboutSign inJoin
Foundations of Security Analysis and Design V

Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures

Alessandro Aldini, Roberto Gorrieri, Gilles Barthe — 2009
This book presents tutorial lectures from three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009. Topics include cryptographic protocol analysis, identity management and electronic voting, and wireless security.
Sign up to use