Sciweavers

361 search results - page 44 / 73
» Composition of Password-Based Protocols
Sort
View
AINA
2007
IEEE
14 years 21 days ago
Collision prevention using group communication for asynchronous cooperative mobile robots
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 ...
Rami Yared, Xavier Défago, Matthias Wiesman...
CEEMAS
2003
Springer
14 years 10 days ago
RIO: Roles, Interactions and Organizations
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...
Philippe Mathieu, Jean-Christophe Routier, Yann Se...
CORR
2007
Springer
150views Education» more  CORR 2007»
13 years 8 months ago
Composable Security in the Bounded-Quantum-Storage Model
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
Stephanie Wehner, Jürg Wullschleger
TCC
2005
Springer
108views Cryptology» more  TCC 2005»
14 years 2 months ago
Comparing Two Notions of Simulatability
In this work, relations between the security notions standard simulatability and universal simulatability for cryptographic protocols are investigated. A simulatability-based notio...
Dennis Hofheinz, Dominique Unruh
SPIRE
1999
Springer
14 years 29 days ago
Flexible Communication Support for CSCW Applications
Modern computer-supported cooperative work applications (CSCW) supporting same-time/different-place interaction are required to open several communication channels. Each of these ...
Hugo Miranda, Luís Rodrigues