Incorporation of Verifier Functionality in the Software for Operations and Network Attack Results Review and the Autonomous Penetration Testing System
<|reference_start|>Incorporation of Verifier Functionality in the Software for Operations and Network Attack Results Review and the Autonomous Penetration Testing System: The software for operations and network attack results review (SONARR) and the autonomous penetration testing system (APTS) use facts and common properties in digital twin networks to represent real-world entities. However, in some cases fact values will change regularly, making it difficult for objects in SONARR and APTS to consistently and accurately represent their real-world counterparts. This paper proposes and evaluates the addition of verifiers, which check real-world conditions and update network facts, to SONARR. This inclusion allows SONARR to retrieve fact values from its executing environment and update its network, providing a consistent method of ensuring that the operations and, therefore, the results align with the real-world systems being assessed. Verifiers allow arbitrary scripts and dynamic arguments to be added to normal SONARR operations. This provides a layer of flexibility and consistency that results in more reliable output from the software.<|reference_end|>
@article{milbrath2024incorporation,
    title={Incorporation of Verifier Functionality in the Software for Operations
  and Network Attack Results Review and the Autonomous Penetration Testing
  System},
    author={Jordan Milbrath and Jeremy Straub},
    journal={arXiv preprint arXiv:2409.09174},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.09174},
    primaryClass={cs.CR cs.AI}
}