5665 search results - page 332 / 1133 » Introduction to Computer Security |
107
Voted
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
104
click to vote
DFMA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes two protocols for the secure download of content protection software to mobile devices. The protocols apply concepts from trusted computing to demonstrate tha...
117
click to vote
ICNP
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we focus on the problem of identifying a family of collusion resistant protocols that demonstrate a tradeoff between the number of secrets that users maintain and t...
138
click to vote
EUROCRYPT
1998
Springer
15 years 6 months ago
1998
Springer
For the most compelling applications of threshold cryptosystems, security against chosen ciphertext attack is a requirement. However, prior to the results presented here, there ap...
112
click to vote
AISM
2004
15 years 3 months ago
2004
The `Need to Know' concept is often quoted but rarely defined in the literature. In general the principle directs that unless an individual has a specific reason to have acce...