7 search results - page 1 / 2 » A constructive conditional logic for access control: a preli... |
ECAI
2010
Springer
13 years 5 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
13 years 10 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
13 years 8 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
13 years 11 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
13 years 4 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...