Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Probability and statistics with reliability, queuing and computer science applications
Probability and statistics with reliability, queuing and computer science applications
Stochastic activity networks: formal definitions and concepts
Lectures on formal methods and performance analysis
A method for modeling and quantifying the security attributes of intrusion tolerant systems
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
The critical elements of patch management
Proceedings of the 33rd annual ACM SIGUCCS conference on User services
Modeling the Vulnerability Discovery Process
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Security Patch Management: Share the Burden or Share the Damage?
Management Science
Network survivability modeling
Computer Networks: The International Journal of Computer and Telecommunications Networking
The critical elements of the patch management process
Communications of the ACM - A Blind Person's Interaction with Technology
| Hi-index | 0.00 |
A patch management model provides a framework with which a system's parameters and behavior can be tested and validated. The authors propose a formal framework that is based on the Continuous Time Markov Chain Model and validate the model using the SHARPE modeling tool. Furthermore, they perform sensitivity analyses to study the dynamic behavior of the proposed model with varying parameter values. A discussion on the results of our study and future research directions concludes the paper.