Sebastian Moedersheim, Catuscia Palamidessi Theory of Security and Applications - 2012 ISBN: 978-3-642-27375-9 Subjects--Topical Terms: Algorithm Analysis and Problem ComplexityComputer Communication NetworksComputers and SocietySoftware Engineering Programming Languages, Compilers, InterpretersComputer Science