JAIST Repository > School of Information Science > JAIST Research Reports > Research Report - School of Information Science : ISSN 0918-7553 >
A Formal Framework for Access Rights Analysis