Rudolph, C.C.RudolphOchsenschläger, P.P.OchsenschlägerGürgens, S.S.Gürgens2022-03-032022-03-032005https://publica.fraunhofer.de/handle/publica/20952510.1016/j.csi.2005.01.004en005004400On a formal framework for security propertiesjournal article