Formalizing Information Flow Control in a Model-Driven Approach

No ratings

Presented at AsiaARES 2014 by

N/A