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