Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif. Model-Driven Development of Information Flow-Secure Systems with IFlow. In International Conference on Social Computing, SocialCom 2013, SocialCom/PASSAT/BigData/EconCom/BioMedCom 2013, Washington, DC, USA, 8-14 September, 2013. pages 51-56, IEEE, 2013. [doi]
Abstract is missing.