Formalizing Information Flow Control in a Model-Driven Approach | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

K. Stenzel, Katkalov, K., Borek, M., and Reif, W., “Formalizing Information Flow Control in a Model-Driven Approach”, in Proceedings of the Information Communication Technology-EurAsia (ICT-EurAsia 2014), 2014.