573 search results - page 93 / 115 » Security Analysis of Voice-over-IP Protocols |
143
click to vote
EGOV
2007
Springer
15 years 12 months ago
2007
Springer
eVoting is a challenging approach for increasing eParticipation. However, lack of citizens’ trust seems to be a main obstacle that hinders its successful realization. In this pap...
141
click to vote
CISC
2005
Springer
15 years 11 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
165
click to vote
PODC
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
197
click to vote
TIFS
2008
15 years 5 months ago
2008
We consider the problem of secret key distribution in a sensor network with multiple scattered sensor nodes and a mobile device that can be used to bootstrap the network. Our main...
197
click to vote
CL
2007
Springer
15 years 5 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...