Sciweavers

10285 search results - page 27 / 2057
» Composing Feature Models
Sort
View
120
Voted
TCC
2009
Springer
177views Cryptology» more  TCC 2009»
16 years 2 months ago
Composability and On-Line Deniability of Authentication
Abstract. Protocols for deniable authentication achieve seemingly paradoxical guarantees: upon completion of the protocol the receiver is convinced that the sender authenticated th...
Yevgeniy Dodis, Jonathan Katz, Adam Smith, Shabsi ...
CRYPTO
2001
Springer
153views Cryptology» more  CRYPTO 2001»
15 years 6 months ago
Universally Composable Commitments
d Abstract) Ran Canetti and Marc Fischlin Abstract. We propose a new security measure for commitment protocols, called Universally Composable (UC) Commitment. The measure guarantee...
Ran Canetti, Marc Fischlin
IEEESCC
2006
IEEE
15 years 8 months ago
Control the Flow: How to Safely Compose Streaming Services into Business Processes
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
Biörn Biörnstad, Cesare Pautasso, Gustav...
INDOCRYPT
2005
Springer
15 years 7 months ago
A Universally Composable Scheme for Electronic Cash
We propose a scheme for electronic cash based on symmetric primitives. The scheme is secure in the framework for universal composability assuming the existence of a symmetric CCA2-...
Mårten Trolin
DGO
2003
127views Education» more  DGO 2003»
15 years 3 months ago
A Geographic Visual Query Composer (GVQC) for Accessing Federal Databases
The paper introduces a query tool which allows users (either database experts or non-specialist users) to visually formulate and execute spatial queries directed to large federal ...
Diansheng Guo