Model-Driven Development of Information Flow-Secure Systems with IFlow | SPP 1496 - RS3

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

K. Katkalov, Stenzel, K., Borek, M., and Reif, W., “Model-Driven Development of Information Flow-Secure Systems with IFlow”, ASE Science Journal, vol. 2, 2013.