C.R. Ramakrishnan and R. Sekar, Model-Based Vulnerability Analysis of Computer Systems, 2nd Int'l Workshop on Verification, Model Checking and Abstract Interpretation, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Using a Model Checker to Test Safety Properties - Ammann, Ding, Xu (2001) (Correct)
....level is essentially the same as it is at the program source code level. Ritchey and Ammann used a model checker to provide comprehensive attack scenarios to test heterogeneous networks [25] Ramakrishnan and Sekar used a model checker to carry out a related analysis in single host systems [24]. Traditional program mutation analysis [10] is a code based method for developing a test set that is sensitive to small syntactic changes to the structure of a program. A variety of researchers, including the current authors, have adapted mutation analysis to the specification level [3, 13, 14, ....
C. Ramakrishnan and R. Sekar. Model-based vulnerability analysis of computer systems. In Proceedings of the 2nd International Workshop on Verification, Model Checking and Abstract Interpretation, September 1998.
Model-Based Analysis of Configuration Vulnerabilities - Ramakrishnan And Sekar (7 citations) Self-citation (Ramakrishnan Sekar) (Correct)
....checked using a rule. The main benefit of using these rules is that they can potentially be checked more economically (in terms of time and memory usage) than running the model checker. This paper builds on some preliminary results on model based vulnerability analysis we had reported earlier in [17]. Since then, Ritchey and Ammann [20] have suggested a promising approach for automating network vulnerability analysis. Their approach starts with higher level models than ours. Their models capture known exploits on individual systems, e.g. that a given version of a web server contains a ....
C.R. Ramakrishnan and R. Sekar, Model-Based Vulnerability Analysis of Computer Systems, 2nd Int'l Workshop on Verification, Model Checking and Abstract Interpretation, 1998.
A Specification-Based Coverage Metric To Evaluate Test Sets - Ammann, al. (1999) (5 citations) (Correct)
No context found.
C. R. Ramakrishnan and R. Sekar, \Model-based vulnerability analysis of computer systems", in 2nd Int. Workshop on Verication, Model Checking and Abstract Interpretation, September 1998.
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