1058 search results - page 96 / 212 » Secure Group Communications Using Key Graphs |
152
Voted
CTRSA
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...
125
Voted
CSFW
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
127
Voted
FOCS
2010
IEEE
15 years 15 days ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
128
click to vote
MOBISYS
2006
ACM
16 years 2 months ago
2006
ACM
The majority of security schemes available for sensor networks assume deployment in areas without access to a wired infrastructure. More specifically, nodes in these networks are ...
179
click to vote
GPC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...