3115 search results - page 410 / 623 » Synthesizing Secure Protocols |
211
click to vote
JOC
2007
15 years 6 months ago
2007
In the security chain the weakest link is definitely the human one: human beings cannot remember long secrets and often resort to rather insecure solutions to keep track of their ...
177
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In wireless roaming a mobile device obtains a service from some foreign network while being registered for the similar service at its own home network. However, recent proposals tr...
203
click to vote
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
Online auctions of governmental bonds and CO2 certificates are challenged by high availability requirements in face of high peak loads around the auction deadline. Traditionally, t...
157
click to vote
JUCS
2010
15 years 1 months ago
2010
: One of the most important use-cases of Trusted Computing is Remote Attestation. It allows platforms to get a trustworthy proof of the loaded software and current configuration of...
170
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 ...