J. S. Foster, R. Johnson, J. Kodumal, T. Terauchi, U. Shankar, K. Talwar, D. Wagner, A. Aiken, M. Elsman, and C. Harrelson. Cqual: A tool for adding type qualifiers to C. http://www.cs.umd.edu/~jfoster/cqual/, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modeling and Visualizing Security Properties of Code Using.. - Wilander (2005) (Correct)
No context found.
J. S. Foster, R. Johnson, J. Kodumal, T. Terauchi, U. Shankar, K. Talwar, D. Wagner, A. Aiken, M. Elsman, and C. Harrelson. Cqual: A tool for adding type qualifiers to C. http://www.cs.umd.edu/~jfoster/cqual/, 2003.
Pattern Matching Security Properties of Code using Dependence Graphs - And (2005) (Correct)
No context found.
J. S. Foster, R. Johnson, J. Kodumal, T. Terauchi, U. Shankar, K. Talwar, D. Wagner, A. Aiken, M. Elsman, and C. Harrelson. Cqual: A tool for adding type qualifiers to C. http://www.cs.umd.edu/jfoster/cqual/, 2003.
Policy and Implementation Assurance for Software Security - Wilander (2005) (Correct)
No context found.
J S Foster, R Johnson, J Kodumal, T Terauchi, U Shankar, K Talwar, D Wagner, A Aiken, M Elsman, and C Harrelson. Cqual: A tool for adding type qualifiers to C. http://www.cs.umd.edu/~jfoster/cqual/, 2003.
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