Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Meetings
    • HotSoS Symposium
    • HCSS Conference
    • C3E Workshop
    • SCC Meeting
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Projects
  • News
  • Events
High Confidence Software and Systems Conference
May 12-14, 2025 | Annapolis, Maryland
  • Agenda
  • Venue
  • Call for Presentations
  • Past Events
  • Register

Breadcrumb

  • Home /
  • /
  • Access Control Policy Tool (ACPT), An Assurance Tool That Combines Symbo...

Access Control Policy Tool (ACPT), an assurance tool that combines symbolic model checking with combinatorial coverage

Download
Tags:
    Access Control
    model checking
    Combinatorial Coverage
    Control
    Modeling
    National HCSS Conference 2013
    Poster
    HCSS'13
    HCSS'13: Poster Session
License: CC-2.5
Submitted by William Martin on Mon, 07/21/2014 - 11:43
© 2025 Science of Security Virtual Organization

Footer

  • Terms
  • Follow Us on X