Enforcing security and safety models with an information flow analysis tool.
Autor: | Chapman, Roderick, Hilton, Adrian |
---|---|
Zdroj: | Proceedings of the 2004 Annual ACM SIGADA International Conference: Ada; 11/14/2004, p39-46, 8p |
Databáze: | Complementary Index |
Externí odkaz: |