3751 search results - page 714 / 751 » Events in security protocols |
JFP
2010
13 years 6 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
WIOPT
2010
IEEE
13 years 6 months ago
2010
IEEE
—Revocation of public-key certificates is an important security primitive. In this paper, we design a fully distributed local certificate revocation scheme for ephemeral networ...
WOTE
2010
13 years 6 months ago
2010
We present a K-out-of-L voting scheme, i.e., a voting scheme that allows every voter to vote for (up to) K candidates from a set of L candidates. The scheme is receipt-free, which ...
GI
2010
Springer
13 years 5 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
Using data from 43 users across two platforms, we present a detailed look at smartphone traffic. We find that browsing contributes over half of the traffic, while each of email, me...