| Title: |
Leveraging Formal Methods to Strengthen Cyber-Resilience in Authorization to Operate |
| Authors: |
Lee, Alice; Cheng, Jack; Braje, Tim; Luther, Noah; McQuoid, Ian; Roman, Gruia-Catalin; Trujillo, Joseph Dan; Skowyra, Richard; Mergendahl, Samuel |
| Source: |
MILCOM 2025 - 2025 IEEE Military Communications Conference (MILCOM) Military Communications Conference (MILCOM), MILCOM 2025 - 2025 IEEE. :1037-1043 Oct, 2025 |
| Relation: |
MILCOM 2025 - 2025 IEEE Military Communications Conference (MILCOM) |
| Database: |
IEEE Xplore Digital Library |