Abstract
Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.Based on TrustedBSD MAC framework,this paper analyses the correctness verification problem for mandatory access control framework,and proposes complete initialization and complete destruction for security labels,as well as complete authorization for access.In order to enforce these verifications,this paper also presents a path-sensitive and user-defined-rule based static analysis approach.This approach verifies the accuracy and completeness of hooks placement of the mandatory access control framework through extending the compiler integrated static analysis tool-mygcc.It achieves high path cover,low false positive rate and time overhead.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
