Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh. Applying flow-sensitive CQUAL to verify MINIX authorization check placement. In Vugranam C. Sreedhar, Steve Zdancewic, editors, Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006. pages 3-6, ACM, 2006. [doi]
Abstract is missing.