357 search results - page 30 / 72 » Code security analysis with assertions |
OOPSLA
2010
Springer
13 years 9 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
OOPSLA
2004
Springer
14 years 4 months ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...
PLDI
2006
ACM
14 years 4 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
INFOCOM
2008
IEEE
14 years 5 months ago
2008
IEEE
—Evaluation of network security is an essential step in securing any network. This evaluation can help security professionals in making optimal decisions about how to design secu...
DSN
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...