1923 search results - page 58 / 385 » Modeling Complexity in Secure Distributed Computing |
INFORMATICALT
2007
14 years 9 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
108
click to vote
DASC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— This paper describes Service Clouds, a distributed infrastructure designed to facilitate rapid prototyping and deployment of services that enhance communication perform...
106
click to vote
CIS
2009
Springer
15 years 4 months ago
2009
Springer
—In recent years, use of sensors to measure the biometrics and movements of human body have resulted in the design of wireless body area networks (WBAN). Although WBANs consist o...
TCC
2005
Springer
15 years 3 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
ECCC
2011
14 years 4 months ago
2011
We show two new direct product results in two different models of communication complexity. Our first result is in the model of one-way public-coin model. Let f ⊆ X × Y × Z ...