IEEE Transactions on Mobile Computing · 2005 · 108 citations · 32 references
ComputingComputer EngineeringComputer ScienceComputer SecurityNetwork SecuritySecurity ProtocolsCryptographic HashingEmbedded SecurityEmbedded System SecurityProtocol VerificationSecurity Protocol VerificationWireless Sensor Network SecurityBlockageDevice Integrity VerificationIntegrity Check AlgorithmsIntegrity ProtectionProgram VerificationSecurity Protocols For Wireless NetworksSoftware Protection MechanismsSoftware-based Protection Systems
Small low-cost sensor devices, each equipped with limited resources, are networked and used for various critical applications, especially those related to homeland security. Making such a sensor network secure is challenging mainly because it usually has to operate in a harsh, sometimes hostile, and unattended environment, where it is subject to capture, reverse-engineering, and manipulation. To address this challenge, we present a program-integrity verification (PIV) protocol that verifies the integrity of the program residing in each sensor device whenever the device joins the network or has experienced a long service blockage. The heart of PIV is the novel randomized hash function tailored to low-cost CPUs, by which the algorithm for hash computation on the program can be randomly generated whenever the program needs to be verified. By realizing this randomized hash function, the PlV protocol 1) prevents manipulation/reverse-engineering/reprogramming of sensors unless the attacker modifies the sensor hardware (e.g., attaching more memory), 2) provides purely software-based protection, and 3) triggers the verification infrequently, thus incurring minimal intrusiveness into normal sensor functions. Our performance evaluation shows that the PIV protocol is computationally efficient and incurs only a small communication overhead, hence making it ideal for use in low-cost sensor networks.
32
Wireless sensor networks for habitat monitoring
Alan Mainwaring, David Culler, Joseph Polastre et al. · 2002 · 4.2K citations
Computing, Computer Systems, Ecology +17
Intrusion detection in wireless ad-hoc networks
Yongguang Zhang, Wenke Lee · 2000 · 1.1K citations · Full text
A two-tier data dissemination model for large-scale wireless sensor networks
Fan Ye, Haiyun Luo, Jerry Cheng et al. · 2002 · 1K citations
Tamper resistance: a cautionary note
Ross Anderson, Markus Kühn · 1996 · 909 citations