Improving architectures for automating network security using specification-based protocols. - Khir Henderson; Kevin T. Kornegay (HotSoS, 2020)