6 search results - page 2 / 2 » The Coarsest Precongruences Respecting Safety and Liveness P... |
223
click to vote
SACMAT
2009
ACM
16 years 17 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...