165 search results - page 27 / 33 » Safely Composing Security Protocols |
SRDS
2008
IEEE
15 years 6 months ago
2008
IEEE
Unattended Wireless Sensor Networks (UWSNs) are composed of many small resource-constrained devices and operate autonomously, gathering data which is periodically collected by a v...
116
click to vote
ATC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
117
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
112
click to vote
CSFW
2012
IEEE
13 years 2 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
100
click to vote
INFOCOM
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract-The Internet today provides no support for privacy or authentication of multicast packets. However,an increasing number of applications will require secure multicast servi...