Formalizing Information Flow Control in a Model-Driven Approach

Conference object, Article English OPEN
Stenzel , Kurt; Katkalov , Kuzman; Borek , Marian; Reif , Wolfgang;
(2014)

Part 2: The 2014 Asian Conference on Availability, Reliability and Security, AsiaARES 2014; International audience; Information flow control is a promising formal technique to guarantee the privacy and desired release of our data in an always connected world. However, i... View more
Share - Bookmark