270 search results - page 40 / 54 » Verifying Second-Level Security Protocols |
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
We consider the Outsourced Aggregation model, where sensing services outsource their sensor data collection and aggregation tasks to third-party service providers called aggregato...
IJMI
2007
13 years 8 months ago
2007
Objective: We present an integrated set of technologies, known as the Hippocratic Database, that enable healthcare enterprises to comply with privacy and security laws without imp...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
We identify the security challenges facing a sensor network for wireless health monitoring, and propose an architecture called "SNAP" (Sensor Network for Assessment of P...
COMCOM
2006
13 years 8 months ago
2006
This paper presents a secure alternate path routing in sensor networks. Our alternate path scheme makes the routing protocol resilient in the presence of malicious nodes that laun...