2162 search results - page 80 / 433 » A Meta-Notation for Protocol Analysis |
AINA
2007
IEEE
14 years 24 days ago
2007
IEEE
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...
WCNC
2010
IEEE
14 years 21 days ago
2010
IEEE
— In this paper, we consider the transmission of a Gaussian source in a multi-relay cooperative network, where limited channel state feedback is combined with separate source and...
ECIS
2000
13 years 10 months ago
2000
Negotiation can be regarded as playing a game with certain rules. If the rules change, the game has to be played differently. Compared to traditional markets, electronic markets ca...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Users often wish to participate in online groups anonymously, but misbehaving users may abuse this anonymity to disrupt the group's communication. Existing messaging protocol...
ENTCS
2006
13 years 8 months ago
2006
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...