90 search results - page 8 / 18 » A Calculus for Secure Channel Establishment in Open Networks |
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
A Group Key Agreement protocol is a process to establish a cryptographic key for a group of participants over an open network. In this paper, we propose a group key agreement(CAGKA...
ICCSA
2009
Springer
14 years 2 months ago
2009
Springer
In pervasive ad-hoc networks, there is a need for devices to be able to communicate securely, despite the lack of apriori shared security associations and the absence of an infrast...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--In this work, we address the performance problems that arise when unicast security protocols IPSEC and SSL are applied for securing the end-to-end communication in hybrid...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
SASN
2006
ACM
14 years 1 months ago
2006
ACM
Mesh network is vulnerable to privacy attacks because of the open medium property of wireless channel, the fixed topology, and the limited network size. Traditional anonymous rou...