Toward a Formal Traceability Model for Efficient Security Validation

被引：1

作者：

Ebert, Christof ^{[1
]}

Ray, Ruschil ^{[2
]}

机构：

[1] Vector Consulting Serv, D-70499 Stuttgart, Germany

[2] Univ Stuttgart, D-70569 Stuttgart, Germany

来源：

COMPUTER | 2021年 / 54卷 / 11期

关键词：

Industries; Computational modeling; Computer security; REQUIREMENTS;

D O I：

10.1109/MC.2021.3095822

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A formal traceability model is presented with a real-world application of a gray-box penetration test. Such formal traceability improves test effectiveness and efficiency, thus underlining the applicability and value of formal methods in an industry context.

引用

页码：68 / 78

页数：11

共 16 条

[1] Casola Valentina, 2018, 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), P24, DOI 10.1109/WETICE.2018.00012
[2] Best practices for automated traceability
Cleland-Huang, Jane
Settimi, Raffaella
Romanova, Eli
Berenbach, Brian
Clark, Stephen
[J]. COMPUTER, 2007, 40 (06) : 27 - +
[3] Drusinsky D, 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), P69
[4] Test-Driven Requirements Engineering
Ebert, Christof
Ray, Ruschil
[J]. IEEE SOFTWARE, 2021, 38 (01) : 16 - 24
[5] Eyal-Salman Hamzeh, 2013, 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), P209, DOI 10.1109/IRI.2013.6642474
[6] Extended requirements traceability: Results of an industrial case study
Gotel, O
Finkelstein, A
[J]. RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 169 - 178
[7] Grigorjev F., 2003, S ARG ING SOFTW ASSE, P1
[8] Haider N., 2019, Deer's Treatment of Pain, P811
[9] A method and tool for tracing requirements into specifications
Hallerstede, Stefan
Jastram, Michael
Ladenberger, Lukas
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 82 : 2 - 21
[10] Klonoff David, 2019, J Diabetes Sci Technol, V13, P817, DOI 10.1177/1932296819865655

← 1 2 →