9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.CR2016★ 9 cited
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…
cs.NI2016
GPLMT: A Lightweight Experimentation and Testbed Management Framework
Matthias Wachs, Nadine Herold, Stephan-A. Posselt +2
Conducting experiments in federated, distributed, and heterogeneous testbeds is a challenging task for researchers. Researchers have to take care of the whole experiment life cycle…