Thumrongsak Kosiyatrakul, Ph.D.
Affiliations: | 2010 | Syracuse University, Syracuse, NY, United States |
Area:
Computer Engineering, Computer ScienceGoogle:
"Thumrongsak Kosiyatrakul"Parents
Sign in to add mentor| Shiu-Kai Chin | grad student | 2010 | Syracuse | |
| (A modal logic for role-based access control within the HOL theorem prover.) | ||||