SCUBA: Secure Code Update by Attestation in sensor networks

WiSE 2006 - Proceedings of the 5th ACM Workshop on Wireless Security

Volumn 2006, Issue , 2006, Pages 85-94

  Seshadri, Arvind ^a   Luk, Mark ^a   Perrig, Adrian ^a   Van Doorn, Leendert ^b,c   Khosla, Pradeep ^a  

^a CMU CyLab

^b IBM   (United States)

^c IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Externally verifiable code execution; Secure code update; Self checksumming code; Software based attestation

Indexed keywords

EXTERNALLY VERIFIABLE CODE EXECUTION; SECURE CODE UPDATE; SELF CHECKSUMMING CODE; SOFTWARE BASED ATTESTATION;

CODES (SYMBOLS); CRYPTOGRAPHY; NETWORK PROTOCOLS; SECURITY OF DATA;

WIRELESS SENSOR NETWORKS;

EID: 34247361254     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1161289.1161306     Document Type: Conference Paper

References (23)

1. R. Anderson, F. Bergadano, B. Crispo, J. Lee, C. M anifavas, and R. Needham. A new family of authentication protocols. ACM Operating Systems Review, 32(4):9-20, October 1998.
2. A.Seshadri, M.Luk, A.Perrig, L. van Doom, and P.Khosla. Using FIRE and ICE for detecting and recovering compromised nodes in sensor networks. Technical Report CMU-CS-04-187, School of Computer Science, Carnegie Mellon University, December 2004.
3. M. Bellare, R. Canetti, and H. Krawczyk. Keying hash functions for message authentication. In Advances in Cryptology - Crypto, pages 1-15, 1996.
4. J. Deng, R. Han, and S. Mishra. Secure code distribution in dynamically programmable wireless sensor networks. In Proceedings in International Conference on Information Processing in Sensor Networks (IPSN 2006), 2006.
5. J. Douceur. The Sybil attack. In Proceedings of Workshop on Peer-to-Peer Systems (IPTPS), March 2002.
6. D.Spinellis. Reflection as a mechanism for software integrity verification. ACM Transactions on Information and System Security, 3(1):51-62, February 2000.
7. P. Dutta, J. Hui, D. Chu, and D. Culler. Securing the deluge network programming system. In Proceedings in International Conference on Information Processing in Sensor Networks (IPSN), 2006.
8. Free Software Foundation. superopt - finds the shortest instruction sequence for a given function, http://www.gnu.org/directory/devel/compilers/ superopt.html.
9. J. Hui and D. Culler. The dynamic behavior of a data dissemination protocol for network programming at scale. In Proceedings of ACM Conference on Embedded Networked Sensor Systems (SenSys), November 2004.
10. R. Joshi, G. Nelson, and K. Randall. Denali: a goal-directed superoptimizer. In Proceedings of ACM Conference on Programming Language Design and Implementation (PLDI), pages 304-314, 2002.
11. R. Kennell and L. Jamieson. Establishing the genuinity of remote computer systems. In Proceedings of USENIX Security Symposium, August 2003.
12. A. Klimov and A. Shamir. New cryptographic primitives based on multiword t-functions. In Fast Software Encryption, February 2004.
13. P. Levis, S. Madden, D. Gay, J. Polastre, R. Szewczyk, A. Woo, E. Brewer, and D. Culler. The emergence of networking abstractions and techniques in TinyOS. In Proceedings of Symposium, on Networked Systems Design and Implementation (NSDI), March 2004.
14. P. Levis, N. Patel, D. Culler, and S. Shenker. Trickle: A self-regulating algorithm for code propagation and maintenance in wireless sensor networks. In Proceedings of Symposium on Networked Systems Design and Implementation (NSDI), March 2004.
15. D. Malan, M. Welsh, and M. Smith. A public-key infrastructure for key distribution in TinyOS based on elliptic curve cryptography. In Proceedings of IEEE Conference on Sensor and Ad hoc Communications and Networks (SECON), October 2004.
16. Moteiv Corp. Tmote Sky: Low Power Wireless Sensor Module, June 2006.
17. M.Shaneck, K.Mahadevan, V.Kher, and Y.Kim. Remote software-based attestation for wireless sensors. In ESAS, pages 27-41, 2005.
18. A. Perrig, R. Szewczyk, V. Wen, D. Culler, and J. D. Tygar. SPINS: Security protocols for sensor networks. In Proceedings of Conference on Mobile Computing and Networks (MobiCom), July 2001.
19. A. Seshadri, A. Perrig, L. van Doom, and P. Khosla. SWATT: Software-based attestation for embedded devices. In Proceedings of the IEEE Symposium on Security and Privacy, May 2004.
20. Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig, Leendert van Doom, and Pradeep Khosla. Pioneer: Verifying integrity and guaranteeing execution of code on legacy platforms. In Proceedings of ACM Symposium on Operating Systems Principles (SOSP), pages 1-15, October 2005.
21. T. Stathopoulos, J. Heidemann, and D. Estrin. A remote code update mechanism for wireless sensor networks. Technical Report CENS-TR-30, UCLA-CENS, November 2003.
22. T.Park and K.Shin. Soft tamper-proofing via program integrity verification in wireless sensor networks. IEEE Transactions on Mobile Computing, 4(3), May/June 2005.
23. C. Y. Wan, A. T. Campbell, and L. Krishnamurthy. PSFQ: A reliable transport protocol for wireless sensor networks. In Proceedings of ACM Workshop on Wireless Sensor Networks and Applications (WSNA), September 2002.