Assurance for CyberSecurity with Assume-Guarantee Reasoning.

Ali Alfageeh Siddhartha Bhattacharyya Samuel Perl Milankumar Patel

Published in: UEMCON (2019)

Keyphrases

knowledge base
automated reasoning
knowledge representation
meta level
reasoning process
reasoning systems
consistency checking
fuzzy description logics
data structure
information security
spatial reasoning
formal models
knowledge processing
model based reasoning
conflicting information