Alessandro Aldini, Roberto Gorrieri Foundations of Security Analysis and Design VI - 2011 ISBN: 978-3-642-23082-0 Subjects--Topical Terms: Computer Communication NetworksLogics and Meanings of ProgramsManagement of Computing and Information Systems Programming Languages, Compilers, InterpretersComputer Science