2911 search results - page 460 / 583 » A Theory of Expressiveness in Mechanisms |
111
click to vote
SP
2007
IEEE
15 years 7 months ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
116
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
102
click to vote
APN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
CCS
2007
ACM
15 years 7 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
111
click to vote
CRYPTO
2007
Springer
15 years 7 months ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...