Login / Signup

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.

Thomas BauereissDieter Hutter
Published in: SEC (2014)
Keyphrases