718 search results - page 39 / 144 » Security protocols, properties, and their monitoring |
98
Voted
SEC
2001
15 years 3 months ago
2001
Abstract When people want to schedule a meeting, their agendas must be compared to find a time suitable for all participants. At the same time, people want to keep their agendas pr...
104
click to vote
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
110
click to vote
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
101
click to vote
SPW
2005
Springer
15 years 7 months ago
2005
Springer
We examine several ad-hoc pairing protocols that strengthen their radio exchanges with additional transmissions over another channel, for example a screen showing graphically encod...
106
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...