Sciweavers

4305 search results - page 580 / 861
» Analysing Protocol Implementations
Sort
View
STORYTELLING
2007
Springer
15 years 11 months ago
RCEI: An API for Remote Control of Narrative Environments
The proposal of this research project is to develop a standard connection mechanism to make narrative environments and the external systems that control them interoperable. Thanks ...
Federico Peinado, Álvaro Navarro
TCC
2007
Springer
145views Cryptology» more  TCC 2007»
15 years 11 months ago
(Password) Authenticated Key Establishment: From 2-Party to Group
Abstract. A protocol compiler is described, that transforms any provably secure authenticated 2-party key establishment into a provably secure authenticated group key establishment...
Michel Abdalla, Jens-Matthias Bohli, Maria Isabel ...
WSFM
2007
Springer
15 years 11 months ago
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zha...
ACSAC
2006
IEEE
15 years 11 months ago
An Internet Voting System Supporting User Privacy
This work introduces the A system1 , an Internetbased, free and open source electronic voting system which employs strong cryptography. Our system is a fully functiona...
Aggelos Kiayias, Michael Korman, David Walluck
COMPSAC
2006
IEEE
15 years 10 months ago
Testability of Software in Service-Oriented Architecture
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
Wei-Tek Tsai, Jerry Gao, Xiao Wei, Yinong Chen