Applying flow-sensitive CQUAL to verify MINIX authorization check placement.

Timothy Fraser Nick L. Petroni Jr. William A. Arbaugh Applying flow-sensitive CQUAL to verify MINIX authorization check placement. 3-6 2006 PLAS http://doi.acm.org/10.1145/1134744.1134747 conf/pldi/2006plas db/conf/pldi/plas2006.html#FraserPA06