Access Nets: Modeling Access to Physical Spaces
From MaRDI portal
Publication:3075481
DOI10.1007/978-3-642-18275-4_14zbMath1317.68114OpenAlexW3139416292MaRDI QIDQ3075481
Robert Frohardt, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
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
Related Items
Symbolic backward reachability with effectively propositional logic. Application to security policy analysis, Access Nets: Modeling Access to Physical Spaces
Uses Software
Cites Work