752 search results - page 87 / 151 » Abstract models for dialogue protocols |
139
click to vote
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
125
click to vote
DAIS
2006
15 years 5 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
108
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based con...
115
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Multiparty signature protocols need protection against roguekey attacks, made possible whenever an adversary can choose its public key(s) arbitrarily. For many schemes, p...
155
click to vote
EUROCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...