Access nets: modeling access to physical spaces

DOI10.1007/978-3-642-18275-4_14MaRDI QIDQ3075481zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 2173750 (Why is no real title available?)
• scientific article; zbMATH DE number 2102695 (Why is no real title available?)
• A theory of timed automata
• Access nets: modeling access to physical spaces
• Coloured Petri nets and the invariant-method
• Information Security
• Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
• System modelling with high-level Petri nets

Cited in

(4)

• A SAT based verification framework for wireless LAN security policy management supported by STRBAC model
• Access nets: modeling access to physical spaces
• scientific article; zbMATH DE number 3852425 (Why is no real title available?)
• Symbolic backward reachability with effectively propositional logic. Application to security policy analysis

Describes a project that uses

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)