Sciweavers

3130 search results - page 93 / 626
» Collusion without communication
Sort
View
IFIP
2004
Springer
15 years 11 months ago
Formal Analysis of a Fair Payment Protocol
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
Jan Cederquist, Muhammad Torabi Dashti
GCC
2003
Springer
15 years 11 months ago
Flexible Intermediate Library for MPI-2 Support on an SCore Cluster System
Abstract. A flexible intermediate library named Stampi for MPI-2 support on a heterogeneous computing environment has been implemented on an SCore cluster system. With the help of...
Yuichi Tsujita
ACNS
2003
Springer
156views Cryptology» more  ACNS 2003»
15 years 10 months ago
An Efficient Tree-Based Group Key Agreement Using Bilinear Map
Secure and reliable group communication is an increasingly active research area by growing popularity in group-oriented and collaborative application. One of the important challeng...
Sangwon Lee, Yongdae Kim, Kwangjo Kim, DaeHyun Ryu
MMNS
2003
113views Multimedia» more  MMNS 2003»
15 years 7 months ago
Secure Inclusion of Phones Into Online E-meetings
Online Internet based e-meetings for synchronous communication is becoming more and more common and the need for secure communication is a strong requirement from both corporate a...
Peter Parnes
SIGCOMM
2010
ACM
15 years 6 months ago
Experimenting with multipath TCP
It is becoming the norm for small mobile devices to have access to multiple technologies for connecting to the Internet. This gives researchers an increasing interest for solution...
Sébastien Barré, Olivier Bonaventure...