263 search results - page 35 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
SENSYS
2003
ACM
14 years 22 days ago
2003
ACM
Sensor networks promise viable solutions to many monitoring problems. However, the practical deployment of sensor networks faces many challenges imposed by real-world demands. Sen...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
— Reputation systems can be used in online markets and communities in order to stimulate quality and good behaviour as well as to sanction poor quality and bad behaviour. The bas...
RTAS
1996
IEEE
13 years 11 months ago
1996
IEEE
The proliferation of mobile computers and wireless networks requires the design of future distributed real-time applications to recognize and deal with the signi cant asymmetry be...
MOBIHOC
2003
ACM
14 years 7 months ago
2003
ACM
In hostile environments, the enemy can launch traffic analysis against interceptable routing information embedded in routing messages and data packets. Allowing adversaries to tra...
PODC
2011
ACM
12 years 10 months ago
2011
ACM
This paper focuses on designing incentive mechanisms for overlay multicast systems. Existing proposals on the problem are no longer able to provide proper incentives when rational...