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. |
Year | DOI | Venue |
---|---|---|
2022 | 10.1109/MSEC.2022.3151733 | IEEE Security & Privacy |
Keywords | DocType | Volume |
complex high-assurance systems,cyberassured systems engineering,model-based systems engineering environment,formal methods,cybersecurity | Journal | 20 |
Issue | ISSN | Citations |
3 | 1540-7993 | 0 |
PageRank | References | Authors |
0.34 | 12 | 12 |
Name | Order | Citations | PageRank |
---|---|---|---|
Darren Cofer | 1 | 0 | 0.34 |
Isaac Amundson | 2 | 0 | 0.34 |
Junaid Babar | 3 | 0 | 0.68 |
David Hardin | 4 | 0 | 0.34 |
Konrad Slind | 5 | 0 | 0.34 |
Perry Alexander | 6 | 0 | 0.68 |
John Hatcliff | 7 | 2373 | 212.83 |
Robby | 8 | 1489 | 104.82 |
Gerwin Klein | 9 | 1450 | 87.47 |
Corey Lewis | 10 | 0 | 0.34 |
eric g mercer | 11 | 159 | 18.41 |
John Shackleton | 12 | 0 | 0.34 |