Towards an analytic model of security flaws

[摘要] A simple model of the dynamics of flaws within a software security system is presented. We demonstrate how this model can be fully captured by a Galton- Watson branching process and thus can be effectively calculated upon. Using the limit behaviour of a Galton-Watson branching process, we can demonstrate how a multi-layered security system can become secure even with 'poor' flaw correction. Finally we make some observations about how the parameters of our models can be estimated and how further results from branching processes could be exploited within security systems. 9 Pages

[发布机构] HP Development Company

[学科分类] 计算机科学（综合）

[关键词] security;models;flaws;branching process;analytic