Using CQUAL for Static Analysis of Authorization Hook Placement

TitleUsing {CQUAL} for Static Analysis of Authorization Hook Placement
Publication TypeConference Paper
Year of Publication2002
AuthorsZhang X, Edwards A, Jaeger T
Conference Name11th USENIX Security Symposium (USENIX Security 02)
Date Published08/2002
PublisherUSENIX Association
Conference LocationSan Francisco, CA
URLhttps://www.usenix.org/conference/11th-usenix-security-symposium/using-cqual-static-analysis-authorization-hook-placement