Books by David Basin

Prof. Dr. David Basin is the Chair of Information Security at ETH Zurich; his research focuses on information security, in particular methods and tools for modeling, building, and validating secure and reliable systems. Dr. Patrick Schaller is a lecturer at ETH Zurich, his research is concerned with the formalization and analysis of security protocols. Michael Schlapfer is a graduate student of ETH Zurich.