361 search results - page 23 / 73 » Composition of Password-Based Protocols |
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
FC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computatio...
IEEESCC
2009
IEEE
14 years 3 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesā...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
Simulatable security is a security notion for multi-party protocols that implies strong composability features. The main deļ¬nitional ļ¬avours of simulatable security are standa...
ARTS
1999
Springer
14 years 28 days ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...