TDSC   2008
Wall of Fame | Most Viewed TDSC-2008 Paper
152views more  TDSC 2008»
12 years 5 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source152
2Download preprint from source125
3Download preprint from source121
4Download preprint from source119
5Download preprint from source116
6Download preprint from source102
7Download preprint from source99
8Download preprint from source87
9Download preprint from source83
10Download preprint from source82
11Download preprint from source79