The Inference Graph of Cybersecurity Rules

被引：0

作者：

Sheniar, Dawood ^{[1
]}

Hadaad, Nabeel ^{[1
]}

Addie, Ron ^{[1
]}

机构：

[1] Univ Southern Queensland, Fac HES, Toowoomba, Qld, Australia

来源：

2019 29TH INTERNATIONAL TELECOMMUNICATION NETWORKS AND APPLICATIONS CONFERENCE (ITNAC) | 2019年

关键词：

Cybersecurity rules; inference graph; security design; proof; stakeholder security analysis; cybersecurity architecture; Netml;

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

The concept that cybersecurity architecture is the discovery, definition and validation of rules is introduced. The new concept of inference graphs for illustrating the relationship between cybersecurity rules is defined. Three increasingly complex examples of inference graphs for systems needing cybersecurity architecture are presented, including the detailed proofs which form the basis of these inference graphs, in some cases. The software which has been developed to support the development and use of cybersecurity inference graphs is described including details of the public server where it can be used. It is shown that cybersecurity inference graphs can significantly contribute to development of, and validation of cybersecurity and also that rigorous validation of cybersecurity is not necessarily as difficult as previously thought.

引用

页数：6