2043 search results - page 242 / 409 » Reasoning About Security Models |
155
click to vote
HOTOS
2003
IEEE
15 years 11 months ago
2003
IEEE
Trusted computing (e.g. TCPA and Microsoft’s NextGeneration Secure Computing Base) has been one of the most talked about and least understood technologies in the computing commu...
153
click to vote
TRUST
2010
Springer
15 years 10 months ago
2010
Springer
Direct Anonymous Attestation (DAA) is an anonymous signature scheme designed for anonymous attestation of a Trusted Platform Module (TPM) while preserving the privacy of the devic...
168
click to vote
BPM
2007
Springer
15 years 9 months ago
2007
Springer
There is currently a strong focus worldwide on the potential of large-scale Electronic Health Record systems to cut costs and improve patient outcomes through increased efficiency....
198
click to vote
CRYPTO
2010
Springer
15 years 6 months ago
2010
Springer
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...
175
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...