5488 search results - page 954 / 1098 » On the Secure Implementation of Security Protocols |
163
click to vote
CERA
2004
15 years 6 months ago
2004
: A secure electronic cash scheme and its role-based access control (RBAC) management are proposed in this paper. The scheme uses electronic cash for payment transactions. In this ...
186
click to vote
JFP
2010
15 years 4 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 ...
171
click to vote
WIOPT
2010
IEEE
15 years 4 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...
166
click to vote
WOTE
2010
15 years 4 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 ...
163
click to vote
GI
2010
Springer
15 years 4 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...