Thumrongsak Kosiyatrakul

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin
A Modal Logic for Role-Based Access Control. MMM-ACNS (2005)
Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. MMM-ACNS (2003)