1 citations · 1 across the 1 of their papers we have counts for
3 papers
Multi-party authorization and conflict mediation for decentralized configuration management processes
Holger Kinkelin, Heiko Niedermayer, Marc Müller +1
Configuration management in networks with highest security demands must not depend on just one administrator and her device. Otherwise, problems can be caused by mistakes or malici…
Trustworthy Configuration Management for Networked Devices using Distributed Ledgers
Holger Kinkelin, Valentin Hauner, Heiko Niedermayer +1
Numerous IoT applications, like building automation or process control of industrial sites, exist today. These applications inherently have a strong connection to the physical worl…
Verifying Security Policies using Host Attributes
Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer +3
For the formal verification of a network security policy, it is crucial to express the verification goals. These formal goals, called security invariants, should be easy to express…