Cybersecurity Policy Verification with Declarative Programming

Rattikorn Hewett, Phongphun Kijsanayothin, Stephanie Bak, Mary Galbrei

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)83-95
JournalApplied Intelligence/Springler
DOIs
StatePublished - Jul 2016

Cite this