Login / Signup
Extending the GWV Security Policy and Its Modular Application to a Separation Kernel.
Sergey Tverdyshev
Published in:
NASA Formal Methods (2011)
Keyphrases
</>
security policies