Access nets: modeling access to physical spaces

DOI10.1007/978-3-642-18275-4_14zbMATH Open1317.68114OpenAlexW3139416292MaRDI QIDQ3075481FDOQ3075481

Authors: Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan 

Publication date: 15 February 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_14

Recommendations

• A Framework for Decentralized Physical Access Control using Finite State Automata
• Information Security
• A framework for the analysis of access control policies with emergency management
• Information Security
• A logic of access control

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A theory of timed automata
• Coloured Petri nets and the invariant-method
• Solving SAT and SAT Modulo Theories
• System modelling with high-level Petri nets
• Title not available (Why is that?)
• Information Security
• Title not available (Why is that?)
• Access nets: modeling access to physical spaces

Cited In (4)

• Symbolic backward reachability with effectively propositional logic. Application to security policy analysis
• A SAT based verification framework for wireless LAN security policy management supported by STRBAC model
• Title not available (Why is that?)
• Access nets: modeling access to physical spaces

Uses Software

• SPIN
• Yices
• z3

This page was built for publication: Access nets: modeling access to physical spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075481)