974 search results - page 181 / 195 » Formal Modeling of Communication Traces |
SAC
2006
ACM
14 years 1 months ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
EGC
2005
Springer
14 years 27 days ago
2005
Springer
Currently, access to Grid services is limited to resourceful devices such as desktop PCs but most mobile devices (with wireless network connections) cannot access the Grid network ...
ISPEC
2005
Springer
14 years 26 days ago
2005
Springer
Token-controlled public key encryption (TCPKE) schemes, introduced in [1], offer many possibilities of application in financial or legal scenarios. Roughly speaking, in a TCPKE s...
JIT
2005
Springer
14 years 26 days ago
2005
Springer
: Access to Grid services is currently limited to devices having significant computing, network resources etc. such as desktop computers. On the other hand, most of mobile devices ...
ASIACRYPT
2004
Springer
14 years 23 days ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...