Cyberassured Systems Engineering at Scale

202226 citationsJournal Article

Authors

Darren Cofer

Isaac Amundson

Junaid Babar

David Hardin

Konrad Slind

Perry Alexander · University of Kansas

John Hatcliff · Kansas State University

Robby · Kansas State University

Gerwin Klein · UNSW Sydney

Abstract

Our team has developed a model-based systems engineering environment that integrates formal methods at all levels of system design. Our methodology and tools enable systems engineers to address cybersecurity concerns early in the development of complex high-assurance systems.

Topics & Keywords

Security and Verification in Computing Advanced Malware Detection Techniques Advanced Software Engineering Methodologies

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: IEEE Security & Privacy

Volume 20, Issue 3, pp. 52-64

DOI: 10.1109/msec.2022.3151733

Field-Weighted Citation Impact: 3.45