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

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

Research output: Contribution to journalArticle

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

Chemical Compounds

Engineering & Materials Science

Medicine & Life Sciences