[Club2] Rehearsal talk: Verifying Security Policies using Host Attributes, Mo, 26.05, 14:00

[Lars Hupel]

-------- Original-Nachricht --------
Betreff: Rehearsal talk: Verifying Security Policies using Host
Attributes, Mo, 26.05, 14:00
Datum: Fri, 23 May 2014 12:22:26 +0200
Von: diekmann <diekmann at net.in.tum.de>
An: Mitarbeiter-Mailingliste I8 <ma at net.in.tum.de>

Hi,

next Monday, 25.05.2014 at 14:00, I will give a talk about network
policy verification. This is a rehearsal talk for the FORTE - 34th IFIP
International Conference on Formal Techniques for Distributed Objects,
Components and Systems.

Regards,
   Cornelius

Verifying Security Policies using Host Attributes.
Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger
Kinkelin, Oliver Hanka, and Georg Carle.
======================================================================
Mo, May 23, 14:00, Room: MI 03.05.033

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 for the end user. Focusing on
access control and information flow security strategies, this work
discovers and proves universal insights about security invariants. This
enables secure and convenient auto-completion of host attribute
configurations. We demonstrate our results in a civil aviation
scenario. All results are machine-verified with the Isabelle/HOL theorem
prover.

http://www.net.in.tum.de/pub/diekmann/forte14.pdf