A formal model of Checked C.

Liyi Li Yiyun Liu Deena L. Postol Leonidas Lampropoulos David Van Horn Michael Hicks

Published in: J. Comput. Secur. (2023)

Keyphrases

formal model
formal models
predicate calculus
security properties
security patterns
intrusion detection
operating system
knowledge representation
rule based systems