3811 search results - page 283 / 763 » The Safe-Tcl Security Model |
172
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
141
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
For many storage providers, the cost of providing service calls exceeds the costs of the hardware being serviced. In this paper, we show that zeromaintenance, small disk arrays ar...
196
click to vote
ESORICS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
177
click to vote
TRUSTBUS
2007
Springer
16 years 24 days ago
2007
Springer
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
199
click to vote
ASIACRYPT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper reconsiders the established Merkle-Damg˚ard design principle for iterated hash functions. The internal state size w of an iterated n-bit hash function is trea...