APPLICATION SPECIFIC USAGE CONTROL IMPLEMENTATION VERIFICATION
Rajkumar P.V.1 , S.K.Ghosh2 and Pallab Dasgupta3
1School of IT, Indian Institute of Technology-Kharagpur, India
2 School of IT, Indian Institute of Technology-Kharagpur, India
3Department of CSE, Indian Institute of Technology-Kharagpur, India
ABSTRACT
Usage control is a comprehensive access control model developed to cater the security needs of the wide range of applications. Formal specification of the core usage control models and their expressivity, decidability of safety properties are explored recently. They help us to understand the usability and safety of the model. However, security of the usage control in the practical applications depends on the safety of the model as well as its correct implementation in the application. This paper presents an approach to verify the correctness of the usage control implementation using a semi- formal property verification tool. We also provide an illustrative case study.
KEYWORDS
Usage Control, Software Implementation, Integrated Verification.
Original Source Link : http://airccse.org/journal/nsa/1009s10.pdf
No comments:
Post a Comment