3979 search results - page 7 / 796 » Wild control operators |
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
A key assignment scheme is a cryptographic technique for implementing an information flow policy, sometimes known as hierarchical access control. All the research to date on key ...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
SACMAT
2003
ACM
14 years 10 days ago
2003
ACM
We investigate the cost of changing access control policies dynamically as a response action in computer network defense. We compare and contrast the use of access lists and capab...
SSS
2005
Springer
14 years 17 days ago
2005
Springer
FLOPS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...