Under CopyrightRieke, RolandRolandRieke2022-03-1030.8.20122003https://publica.fraunhofer.de/handle/publica/34454010.24406/publica-fhg-344540en004Development of formal models for secure e-servicespresentation