Repository landing page
Security Analysis of Role-Based Access Control through Program Verification
Abstract
Abstract is not available.- info:eu-repo/semantics/conferenceObject
- abstraction schemes; security analysis; program verification; administrative role-based access control policy; security properties; abstraction-based tools
- abstraction schemes
- security analysis
- program verification
- administrative role-based access control policy
- security properties
- abstraction-based tools