70 search results - page 12 / 14 » A Framework for Verifying Data-Centric Protocols |
IJNSEC
2011
2011
Location-aware, Trust-based Detection and Isolation of Compromised Nodes in Wireless Sensor Networks
13 years 24 days ago
The detection and isolation of compromised nodes in wireless sensor networks is a difficult task. However, failure to identify and isolate compromised nodes results in significan...
SDM
2008
SIAM
13 years 7 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
TACS
1997
Springer
13 years 10 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
ICICS
2007
Springer
13 years 9 months ago
2007
Springer
Authentication is increasingly relevant to data management. Data is being outsourced to untrusted servers and clients want to securely update and query their data. For example, in ...
FC
2006
Springer
13 years 9 months ago
2006
Springer
Reputation systems aggregate mutual feedback of interacting peers into a "reputation" metric for each participant. This is then available to prospective service "req...