609 search results - page 99 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
SPW
2000
Springer
14 years 18 days ago
2000
Springer
In the context of the security of wireless ad hoc networks, we previously explored the problem of secure transient association between a master and a slave device in the absence of...
PODC
2012
ACM
11 years 11 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...
SIGUCCS
2003
ACM
14 years 2 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...
ACISP
2007
Springer
14 years 1 months ago
2007
Springer
Compact e-cash schemes allow a user to withdraw a wallet containing k coins in a single operation, each of which the user can spend unlinkably. One big open problem for compact e-c...
PET
2012
Springer
11 years 11 months ago
2012
Springer
Real-time statistics on smart meter consumption data must preserve consumer privacy and tolerate smart meter failures. Existing protocols for this private distributed aggregation m...