Sciweavers

203 search results - page 2 / 41
» Mediated Population Protocols
Sort
View
CRYPTO
2009
Springer
121views Cryptology» more  CRYPTO 2009»
13 years 12 months ago
Collusion-Free Multiparty Computation in the Mediated Model
Collusion-free protocols prevent subliminal communication (i.e., covert channels) between parties running the protocol. In the standard communication model, if one-way functions ex...
Joël Alwen, Jonathan Katz, Yehuda Lindell, Gi...
ICDE
2007
IEEE
164views Database» more  ICDE 2007»
13 years 11 months ago
Secure Mediation of Join Queries by Processing Ciphertexts
In a secure mediated information system, confidentiality is one of the main concerns when transmitting data from datasources to clients via a mediator. We present three approache...
Joachim Biskup, Christian Tsatedem, Lena Wiese
TASE
2009
IEEE
14 years 1 days ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
IJWET
2010
142views more  IJWET 2010»
13 years 3 months ago
Interaction protocol mediation in web service composition
: This article presents a mediation framework supporting the integration of web services in orchestrated and choreographed services and the conciliation of interaction protocol mis...
Liliana Ardissono, Roberto Furnari, Giovanna Petro...
CRYPTO
2008
Springer
123views Cryptology» more  CRYPTO 2008»
13 years 7 months ago
Collusion-Free Protocols in the Mediated Model
Prior approaches [15, 14] to building collusion-free protocols require exotic channels. By taking a conceptually new approach, we are able to use a more digitally-friendly communic...
Joël Alwen, Abhi Shelat, Ivan Visconti