Using CQUAL for Static Analysis of Authorization Hook Placement.

Xiaolan Zhang Antony Edwards Trent Jaeger Using CQUAL for Static Analysis of Authorization Hook Placement. 33-48 2002 conf/uss/2002 USENIX Security Symposium http://www.usenix.org/publications/library/proceedings/sec02/zhang.html db/conf/uss/uss2002.html#ZhangEJ02