378 search results - page 34 / 76 » Security Protocol Design via Authentication Tests |
105
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
112
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
135
click to vote
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
141
click to vote
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...
130
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...