@Inproceedings{EPTCS150.3, author = {Diekmann, Cornelius and Hupel, Lars and Carle, Georg}, year = {2014}, title = {Directed Security Policies: A Stateful Network Implementation}, editor = {Pang, Jun and Liu, Yang}, booktitle = {{\rm Proceedings Third International Workshop on} Engineering Safety and Security Systems, {\rm Singapore, Singapore, 13 May 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {150}, publisher = {Open Publishing Association}, pages = {20-34}, doi = {10.4204/EPTCS.150.3}, }