A Specification-Based Intrusion Prevention System for Malicious Payloads.

Aaron Werth Thomas H. Morris

Published in: NCS (2019)

Keyphrases

specification language
high level
database
user defined
formal verification
network communication
website
multi agent systems