1597 search results - page 68 / 320 » Mental Models of Computer Security |
105
click to vote
STACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
124
click to vote
CCGRID
2002
IEEE
15 years 7 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
ICALP
2005
Springer
15 years 7 months 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...
134
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
114
Voted
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...