2024 search results - page 73 / 405 » A Logic Based Approach for Dynamic Access Control |
112
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper the application of a behavior-based control approach, namely the Null-Space-based Behavioral control, to coordinate a fleet of autonomous surface vessels is pres...
114
click to vote
MOBICOM
2009
ACM
15 years 9 months ago
2009
ACM
In November 2008, the FCC ruled that the digital TV whitespaces be used for unlicensed access. This is an exciting development because DTV whitespaces are in the low frequency ran...
147
click to vote
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
128
click to vote
FORTE
2004
15 years 4 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
168
click to vote
SACMAT
2009
ACM
15 years 9 months 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...