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.- Sort by
- Weight
- Alphabetically
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/Poem › Chapter
2
Scopus
citations