Information flow analysis for valued-indexed data security compartments (2014)

by L LOURENÇO, L CAIRES
Venue:In Trustworthy Global Computing