14824 search results - page 423 / 2965 » Security - Introduction |
186
click to vote
ESORICS
2009
Springer
16 years 8 months ago
2009
Springer
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
213
click to vote
CCS
2009
ACM
16 years 8 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
181
click to vote
CCS
2009
ACM
16 years 8 months ago
2009
ACM
In this paper we present a structured methodology for evaluating cost of responses based on three factors: the response operational cost associated with the daily maintenance of t...
215
click to vote
TCC
2009
Springer
16 years 8 months ago
2009
Springer
We study the possibility of constructing encryption schemes secure under messages that are chosen depending on the key k of the encryption scheme itself. We give the following sep...
194
click to vote
ESOP
2010
Springer
16 years 5 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...