期刊名称：International Journal of Computer Science and Communication Networks
电子版ISSN：2249-5789
出版年度：2012
卷号：2
期号：5
页码：615-617
出版社：Technopark Publications
摘要：The run-time verification of security properties (Integrity, Availability and Confidentiality) received increased attention from researchers. In particular a security property that relate to information that is made available by end users is achievable only to a limited degree using static and dynamic verification techniques. The more sensitive the information, such as banking data, government intelligence or military information being processed by software, the more important it is to ensure the confidentiality of this information.This paper aims to compare the static and dynamic methodology for run time monitoring. This paper will help to carried out the actual performance of these two different methodologies and their performance in different conditions. The objective of this paper is to find the better solution for run time monitoring using static or dynamic analysis
关键词：Static Analysis; Dynamic Analysis; Dynamic Vs. Static Analysis
