Xiaolan Zhang, Antony Edwards, Trent Jaeger, Using CQUAL for Static Analysis of Authorization Hook Placement, Proceedings of the Usenix Security Symposium (2002). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Measuring a System's Attack Surface - Pratyusa Manadhata Pratyus (2004) (1 citation) (Correct)
No context found.
Xiaolan Zhang, Antony Edwards, Trent Jaeger, Using CQUAL for Static Analysis of Authorization Hook Placement, Proceedings of the Usenix Security Symposium (2002).
Measuring a System's Attack Surface - Pratyusa Manadhata Jeannette (2004) (1 citation) (Correct)
No context found.
Xiaolan Zhang, Antony Edwards, Trent Jaeger, Using CQUAL for Static Analysis of Authorization Hook Placement, Proceedings of the Usenix Security Symposium (2002).
Rob Johnson David Wagner - Report No Ucb (Correct)
No context found.
Xiaolan Zhang, Antony Edwards, and Trent Jaeger. Using CQUAL for Static Analysis of Authorization Hook Placement. In Proceedings of the 11th Usenix Security Symposium, San Francisco, CA, August 2002. 1: void * helper(void *h) 2:
MOPS: an Infrastructure for Examining Security Properties of.. - Chen, Wagner (2002) (39 citations) (Correct)
No context found.
X. Zhang, A. Edwards, and T. Jaeger. Using CQUAL for static analysis of authorization hook placement. In Proceedings of the Eleventh Usenix Security Symposium, August 2002. 20
A Unified Approach for Preventing Attacks Exploiting a.. - Xu, Bhatkar, Sekar (Correct)
No context found.
X. Zhang, A. Edwards, and T. Jaeger. Using CQual for static analysis of authorization hook placement. In USENIX Security Symposium, 2002. 19
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
Xiaolan Zhang, Antony Edwards, and Trent Jaeger. Using CQUAL for Static Analysis of Authorization Hook Placement. In Proceedings of the 11th Usenix Security Symposium, San Francisco, CA, August 2002.
Finding User/Kernel Pointer Bugs With Type Inference - Rob Johnson David (2004) (2 citations) (Correct)
No context found.
Xiaolan Zhang, Antony Edwards, and Trent Jaeger. Using CQUAL for Static Analysis of Authorization Hook Placement. In Proceedings of the 11th Usenix Security Symposium, San Francisco, CA, August 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC