2043 search results - page 172 / 409 » Reasoning About Security Models |
195
click to vote
SIS
2008
15 years 7 months ago
2008
In this paper we propose an access control model for use by a trusted middleware infrastructure, which is part of an architecture that supports the operation of Location Based Serv...
174
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
236
click to vote
SOSP
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
134
click to vote
FC
2003
Springer
15 years 11 months ago
2003
Springer
Decentralized anonymity infrastructures are still not in wide use today. While there are technical barriers to a secure robust design, our lack of understanding of the incentives t...
169
click to vote
ASIACRYPT
2009
Springer
16 years 19 days ago
2009
Springer
A leakage-resilient cryptosystem remains secure even if arbitrary, but bounded, information about the secret key (or possibly other internal state information) is leaked to an adv...