%0 Book
%A  Alessandro Aldini, Roberto Gorrieri (eds.).
%T Foundations of security analysis and design IV :
%U /book/89979526/Foundations-of-security-analysis-and-design-IV/