165 search results - page 26 / 33 » Safely Composing Security Protocols |
CORR
2009
Springer
14 years 7 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
CTRSA
2001
Springer
15 years 2 months ago
2001
Springer
Safe long-term storage of user private keys is a problem in client/server systems. The problem can be addressed with a roaming system that retrieves keys on demand from remote cred...
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Recent occurrences of mobile worms like Cabir, Mabir and CommWarrior have created growing concerns over the security of data stored on mobile devices such as cell phones and PDAs....
CRYPTO
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
PODC
2004
ACM
15 years 3 months ago
2004
ACM
Group key exchange protocols allow a group of servers communicating over an asynchronous network of point-to-point links to establish a common key, such that an adversary which fu...