468 search results - page 4 / 94 » Interactivity for Reactive Access Control |
ISUVR
2007
13 years 7 months ago
2007
Abstract— We propose a cognitively motivated vertically layered two-pass agent architecture for realizing responsiveness, reactivity, and pro-activeness of smart objects, smart e...
IAJIT
2010
13 years 5 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
DSVIS
2008
Springer
13 years 8 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
CHI
2006
ACM
14 years 12 days ago
2006
ACM
ESORICS
2007
Springer
13 years 10 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...