As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
As the role of software increases in computing environments, issues in software security become more important problems. Taint analysis is a technique to trace and manage tainted data originated from untrustworthy sources in a program. This analysis can be applied to software security verification as well as software behavior understanding, testing unexpected errors, or debugging. In this paper, we present a method for tracing information flows of untrustworthy data in a base language. In addition, we verify the correctness of the proposed algorithm by implementing an analyzer, and show that propagation of untrustworthy data can be traced by the proposed algorithm. The proposed trace algorithm can be applied to understand the analysis procedures of information flows of untrustworthy data, and it can be used in software analysis to detect security problems that is caused by misuse of information in software or system.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.