2024 search results - page 101 / 405 » A Logic Based Approach for Dynamic Access Control |
112
Voted
ACSW
2006
15 years 4 months ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...
138
click to vote
TIP
2008
15 years 3 months ago
2008
This correspondence presents a video tracking framework using control-based observer design. It unifies several kernel-based approaches into a consistent theoretical framework by m...
146
Voted
SRDS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present Cryptree, a cryptographic tree structure which facilitates access control in file systems operating on untrusted storage. Cryptree leverages the file system’s folde...
167
click to vote
DKE
2008
15 years 3 months ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
124
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...