Author of the publication

Mechanismen zur Sicherheitszertifizierung formalisierter Geschäftsprozesse (Mechanisms for the security certification of formalized business processes)

. University of Freiburg, Germany, (2011)base-search.net (ftunivfreiburg:oai:freidok.uni-freiburg.de:8384).

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

RFID - ist Sicherheit in offenen Anwendungen erreichbar?. Wirtschaftsinf., 50 (5): 392-399 (2008)Durchsetzung von Cybersecurity in IoT-Lieferketten.. Wirtschaftsinformatik Manag., 15 (5): 341-346 (October 2023)A case study of specification and verification using JML in an avionics application., , , , , and . JTRES, page 107-116. ACM, (2006)Cyber-Security entlang der IoT-Lieferkette.. Datenschutz und Datensicherheit, 46 (7): 455-458 (2022)Detective Information Flow Analysis for Business Processes., and . BPSC, volume P-147 of LNI, page 223-224. GI, (2009)Towards Information Flow Auditing in Workflows.. Software Engineering (Workshops), volume P-160 of LNI, page 549-554. GI, (2010)Password Management for EPC Class 1 Generation 2 Transponders., and . CEC/EEE, page 29-35. IEEE Computer Society, (2008)Static Information Flow Analysis of Workflow Models., and . ISSS/BPSC, volume P-177 of LNI, page 194-205. GI, (2010)Mechanismen zur Sicherheitszertifizierung formalisierter Geschäftsprozesse (Mechanisms for the security certification of formalized business processes). University of Freiburg, Germany, (2011)base-search.net (ftunivfreiburg:oai:freidok.uni-freiburg.de:8384).