Cyberassured Systems Engineering at Scale-Reference-Cited by-同舟云学术

Cyberassured Systems Engineering at Scale

Published:2022-05 Issue:3 Volume:20 Page:52-64
ISSN:1540-7993
Container-title:IEEE Security & Privacy
language:
Short-container-title:IEEE Secur. Privacy

Author:

Cofer Darren¹,Amundson Isaac¹,Babar Junaid¹,Hardin David¹,Slind Konrad¹,Alexander Perry²,Hatcliff John³,Robby ³,Klein Gerwin⁴,Lewis Corey⁵,Mercer Eric⁶,Shackleton John⁷

Affiliation:

1. Collins Aerospace

2. University of Kansas

3. Kansas State University

4. Proofcraft and University of New South Wales

5. University of New South Wales

6. Brigham Young University

7. Adventium Labs

Funder

Defense Advanced Research Projects Agency

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Law,Electrical and Electronic Engineering,Computer Networks and Communications

Link

http://xplorestaging.ieee.org/ielx7/8013/9782817/09734792.pdf?arnumber=9734792

Reference18 articles.

1. Principles of remote attestation

2. Orchestrating Layered Attestations

3. Awas: AADL information flow and error propagation analysis framework

4. HAMR: An AADL Multi-platform Code Generation Toolset

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Zero-trust design and assurance patterns for cyber–physical systems;Journal of Systems Architecture;2024-10

2. A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime;Lecture Notes in Computer Science;2024

3. Integrated Contract-Based Unit and System Testing for Component-Based Systems;Lecture Notes in Computer Science;2024

4. Logika: The Sireum Verification Framework;Lecture Notes in Computer Science;2024

5. Verification of a Rust Implementation of Knuth's Dancing Links using ACL2;Electronic Proceedings in Theoretical Computer Science;2023-11-14