Publications
Export 4 results:
Author Title Type [ Year] Filters: Keyword is Information analysis [Clear All Filters]
2007. Verified Enforcement of Security Policies for Cross-Domain Information Flows. IEEE Military Communications Conference, 2007. MILCOM 2007. :1-7.
1988. Learning from examples: generation and evaluation of decision trees for software resource analysis. IEEE Transactions on Software Engineering. 14(12):1743-1757.