A. K. Bandara, E. C. Lupu, and A. Russo, Using event calculus to formalise policy specification and analysis, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp.26-39, 2003.
DOI : 10.1109/POLICY.2003.1206955
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5437

P. Bonatti, S. De-capitani-di-vimercati, and P. Samarati, An algebra for composing access control policies, ACM Transactions on Information and System Security, vol.5, issue.1, pp.1-35, 2002.
DOI : 10.1145/504909.504910
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.543.2075

O. M. Committee, Software-defined networking: The new norm for networks. ONF White Paper. Palo Alto, US: Open Networking Foundation, 2012.

S. K. Fayazbakhsh, L. Chiang, V. Sekar, M. Yu, and J. C. , Enforcing network-wide policies in the presence of dynamic middlebox actions using flowtags, 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14), pp.543-546, 2014.

H. Hu, G. Ahn, and K. Kulkarni, Detecting and Resolving Firewall Policy Anomalies, IEEE Transactions on Dependable and Secure Computing, vol.9, issue.3, pp.318-331, 2012.
DOI : 10.1109/TDSC.2012.20

C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker, Composing software-defined networks, Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation, pp.1-14, 2013.

P. Porras, S. Shin, V. Yegneswaran, M. Fong, M. Tyson et al., A security enforcement kernel for OpenFlow networks, Proceedings of the first workshop on Hot topics in software defined networks, HotSDN '12, pp.121-126, 2012.
DOI : 10.1145/2342441.2342466

S. Shin, P. Porras, V. Yegneswaran, M. Fong, G. Gu et al., Fresco: Modular composable security services for software-defined networks, Proceedings of Network and Distributed Security Symposium, 2013.

B. Stephens, A. Cox, W. Felter, C. Dixon, and J. Carter, PAST, Proceedings of the 8th international conference on Emerging networking experiments and technologies, CoNEXT '12, pp.49-60, 2012.
DOI : 10.1145/2413176.2413183