7 search results - page 1 / 2 » A constructive conditional logic for access control: a preli... |
89
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
CSCW
2006
ACM
15 years 1 months ago
2006
ACM
This paper reports on an exploratory experimental study of the relationships between physical movement and desired visual information in the performance of video-mediated collabor...
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...