147 search results - page 22 / 30 » An intruder model for verifying liveness in security protoco... |
111
Voted
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
126
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
151
click to vote
CL
2007
Springer
15 years 1 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
126
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
157
Voted
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...