3 citations · 7 across the 4 of their papers we have counts for
4 papers
Towards a Secure and Reliable IT-Ecosystem in Seaports
Tobias Brandt, Dieter Hutter, Christian Maeder +1
Digitalization in seaports dovetails the IT infrastructure of various actors (e.g., shipping companies, terminals, customs, port authorities) to process complex workflows for shipp…
Structure Formation in Large Theories
Serge Autexier, Dieter Hutter
Structuring theories is one of the main approaches to reduce the combinatorial explosion associated with reasoning and exploring large theories. In the past we developed the notion…
Possibilistic Information Flow Control for Workflow Management Systems
Thomas Bauereiss, Dieter Hutter
In workflows and business processes, there are often security requirements on both the data, i.e. confidentiality and integrity, and the process, e.g. separation of duty. Graphical…
Strand-Based Approach to Patch Security Protocols
Dieter Hutter, Raul Monroy
In this paper, we introduce a mechanism that aims to speed up the development cycle of security protocols, by adding automated aid for diagnosis and repair. Our mechanism relies on…