Metrics
36 Record Views
Journal article
A Formal Framework for Patch Management
International journal of interdisciplinary telecommunications and networking, Vol.5(2), pp.18-31
04/01/2013
Web of Science ID: WOS:000214906100002
Abstract
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.
Related links
Details
- Title
- A Formal Framework for Patch Management
- Publication Details
- International journal of interdisciplinary telecommunications and networking, Vol.5(2), pp.18-31
- Resource Type
- Journal article
- Publisher
- IGI Global
- Number of pages
- 14
- Grant note
- OCI-0959687 / National Science Foundation; National Science Foundation (NSF)
- Copyright
- © 2013
- Identifiers
- WOS:000214906100002; 99380558193206600
- Academic Unit
- Center for Cybersecurity and AI
- Language
- English