5475 search results - page 790 / 1095 » Model Driven Security |
200
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
188
click to vote
IPCCC
2005
IEEE
16 years 5 days ago
2005
IEEE
Sensor networks are composed of a large number of low power sensor devices. For secure communication among sensors, secret keys must be established between them. The establishment...
142
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
187
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...
156
click to vote
ISW
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We propose a one-round 1-out-of-n computationally-private information retrieval protocol for -bit strings with low-degree polylogarithmic receivercomputation, linear send...