David Wagner. Static Analysis and Computer Security: New Techniques for Software Assurance. PhD thesis, University of California, Berkeley, 2000. 358 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) (Correct)
....dynamic access control mechanism; although it helps protect integrity, it does not address confidentiality. Language based techniques are also used in other ongoing security research, where the goal is to use type safety to protect the machine against subversion by mobile code (e.g. 24] 27] [29]) although some more general security policies can be enforced [30] 33] However, none of this language based work addresses end to end security policies. Mechanisms for signaling information through a computing system are known as channels. Channels that exploit a mechanism whose primary ....
D. Wagner, Static analysis and computer security: New techniques for software assurance, Ph.D. thesis, University of California at Berkeley, 2000.
Intrusion Detection via Static Analysis - Wagner, Dean (2001) (52 citations) Self-citation (Wagner) (Correct)
....data structure is a representation of the set of possible call stacks as a regular language over the alphabet of stack symbols. This lets us modify this data structure directly whenever we need to step outside of the context free framework. More details on this algorithm are available elsewhere [34]. 4.4. The digraph model We next introduce a very simple approach which combines some of the advantages of the callgraph model in a simpler formulation. The basic approach, first introduced in previous work on runtime intrusion detection [14] is to consider windows of consecutive system calls. ....
D. Wagner. Static analysis and computer security: New techniques for software assurance. PhD thesis, University of California at Berkeley, Dec. 2000.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
David Wagner. Static Analysis and Computer Security: New Techniques for Software Assurance. PhD thesis, University of California, Berkeley, 2000. 358
Formalizing Sensitivity in Static Analysis for Intrusion Detection - Feng (2004) (3 citations) (Correct)
No context found.
D. Wagner. Static Analysis and Computer Security: New Techniques for Software Assurance. Ph.D. dissertation, University of California at Berkeley, Fall 2000.
Buffer Overrun Detection Using Linear Programming.. - Ganapathy, Jha.. (2003) (3 citations) (Correct)
No context found.
D. Wagner. Static Analysis and Computer Security: New techniques for software assurance. PhD thesis, University of California, Berkeley, December 2000.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
D. Wagner. Static Analysis and Computer Security: New Techniques for Software Assurance. PhD thesis, Division of Computer Science, University of California, Berkeley, December 2000. (http://www.cs.berkeley.edu/~daw).
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) (Correct)
No context found.
D. Wagner, Static analysis and computer security: New techniques for software assurance, Ph.D. thesis, University of California at Berkeley, 2000.
Efficient Context-Sensitive Intrusion Detection - Giffin, Jha, Miller (2004) (3 citations) (Correct)
No context found.
D. Wagner. Static Analysis and Computer Security: New Techniques for Software Assurance. Ph.D. dissertation, University of California at Berkeley, Fall 2000.
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