Cyber security via formal methods: A framework for implementing formal methods.

Published in: CyCon U.S. (2017)

Keyphrases

formal methods
cyber security
formal specification
knowledge based systems
artificial intelligence
software engineering
model checking
network security
data mining
information systems
intrusion detection
intrusion detection system