565 search results - page 89 / 113 » A logic for authorization provenance |
94
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
106
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
We present a set of interaction techniques that make novel use of a small pressure-sensitive pad to allow one-handed direct control of a large number of parameters. The surface of...
126
Voted
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
133
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
125
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...