3 citations found. Retrieving documents...
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