Publication | Closed Access
Cyberassured Systems Engineering at Scale
26
Citations
9
References
2022
Year
EngineeringInformation SecuritySoftware EngineeringCyber Security EngineeringFormal VerificationCybersecurity EngineeringCritical ComputingComplex High-assurance SystemsSystem Of SystemSystem Of Systems EngineeringSecurity ModellingModel-based Systems EngineeringSystems EngineeringCyberassured Systems EngineeringCybersecurity ConcernsComputer EngineeringSoftware DesignModel-based System EngineeringFormal MethodsModel-driven Security
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1