Sebastian Mödersheim, Catuscia Palamidessi Theory of Security and Applications - Germany Springer 2012 ISBN: 978-3-642-27375-9 Subjects--Topical Terms: Computer ScienceTheory of Security and Applications