Towards Formal Verification of Role-Based Access Control Policies

Published 2008 View Full Article

  1. Home
  2. Publications
  3. Publication Search
  4. Publication Details
Title
Towards Formal Verification of Role-Based Access Control Policies
Authors
Keywords
-
Journal
IEEE Transactions on Dependable and Secure Computing
Volume 5, Issue 4, Pages 242-255
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Online
2008-08-05
DOI
10.1109/tdsc.2007.70225

Ask authors/readers for more resources

Protocol

Community support

Reagent

Community support

Reprint

Contact the author

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started
Webinars Posters Questions Hubs Funding Journals Articles Connect Collections Reviewers About Us FAQs Mobile App Privacy Policy Terms of Use
© Peeref 2019-2024. All rights reserved.