Implementing a calculus for distributed access control in higher order logic and HOL

Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu Kai Chin

Research output: Chapter in Book/Entry/PoemChapter

2 Scopus citations

Fingerprint

Dive into the research topics of 'Implementing a calculus for distributed access control in higher order logic and HOL'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science