390 likes | 403 Views
This research explores key establishment, secure routing, provable encounters, and cooperation in ad hoc and sensor networks. New themes include cooperation at the MAC layer, secure positioning, and dealing with denial of service attacks.
E N D
ESAS 2004New Research Challenges for the Security of Ad Hoc and Sensor Networks Jean-Pierre Hubaux EPFL
New Research Challenges for the Security of Ad Hoc and Sensor Networks • Some current research themes • Key establishment • Secure routing • Provable encounters • Cooperation: the network layer perspective • New theme 1: Cooperation: the MAC layer perpective • New theme 2: Secure positioning • Verifiable multilateration • Application to vehicle networks • Application to sensor networks • New theme 3: Denial of Service attacks
Key establishment techniques in ad hoc networks Presence of an authority, at leastin the initialization phase Usually based on threshold cryptography No authority: Keys are generatedby the nodes Secure Public Key Mgt Similarity with PGP; certificate and trustrelationships Mobility helps security Specializednodes (servers) Centralized secretshare dealer • Underlying questions: • What is the identity of a node? • What is the relationship between the user and the node? • What does trust mean in such a framework?
Establishment of security associations(“Mobility helps security”, Mobihoc 2003) Visual recognition, conscious establishment of a two-way security association Bob Name NodeId Alice (Alice, PuKAlice, XYZ) Infrared link Name NodeId (Bob, PuKBob , UVW) • Secure side channel • Typically short distance (a few meters) • Line of sight required • - Ensures integrity • - Confidentiality not required
Depends on several factors: • Area size • Number of communication partners: s • Number of nodes: n • Number of friends • Mobility model and its parameters (speed, pause times, …) Pace of establishment of the security associations Established security associations : Desired security associations : Convergence :
Simulation results, random waypoint Various power ranges (automatic establishment of security associations)
Key setup in sensor networks(Eschenauer and Gligor, 2002) • key pre-distribution • generation of a large pool of P keys • random drawing of k keys out of P • loading of the key ring into each sensor • shared-key discovery • upon initialization every node discovers its neighbors with which it shares keys • path-key establishment (- - -) • assigns a path-key to neighbors w/o shared key • multiple disjoint paths exist between two nodes • example (A,B) • Consequences • node-to-node authentication ? • key revocation scope ? Re-keying ? • resilience: effect of sensor-node capture ? • network extension • Probabilistic key sharing B A Courtesy: Virgil Gligor
Secure routing in ad hoc networks Attack Rushing attacks Blackhole attack Wormhole General … DSR AODV Routing protocol FRESH OLSR … I.T. : Incentive Techniques (assuming nodes are rational)
Provable encounters(“SECTOR”, SASN 2003) • Initial distribution of keys/hash values • Encounter certificationcomprised of the following phases: • Authentication • Distance bounding (Cf also Brands and Chaum, 1993) • Issuance of the proof of encounter • a) Guaranteeing Encounter Freshness (GEF) • b) Guaranteeing the Time of Encounter (GTE) • Encounter verification comprised of the following phases: • Authentication • Verification Encounter certification Encounter verification certifier claimant verifier claimant Solution based on hash chains and on Merkle trees
Cooperation in self-organized systems D2 D1 S2 S1 • Question: how to enforce cooperation, if each node is its own authority? • Solutions: • based typically on game theory, on reputation systems, on micropayments • proposed by NEC, UC Berkeley, Stanford, CMU, Cornell, U. of Washington,Yale, UCSD, Eurécom, EPFL,… • address different scenarios: pure ad hoc, multi-hop access to the backbone,… • consider the problem at the network layer (and focus primarily on packet forwarding)
Cooperation between nodes (a closer look) MAC MAC MAC MAC MAC MAC : Medium Access Control : manages the shared transmission medium (the radio link in this case) in a fully distributed way Routing Routing Routing Routing Routing Question 1: How do we prevent greedy behaviour on the MAC layer of multi-hopwireless networks? Question 1’: How is this problem solved today in WiFi hotspots? Answer: It is not solved!
Question 1’ : How do we prevent greedy behavior at the MAC layer in WiFi hotspots ? The access point is trusted Well-behaved node Well-behaved node The MAC layer is fair: if users have similar needs, they obtain a similar share of the bandwidth
Question 1’ : Preventing greedy behavior at the MAC layer in WiFi hotspots The access point is trusted Cheater Well-behaved node
IEEE 802.11 MAC – Brief reminder • IEEE 802.11 is the MAC protocol used in WiFi • By default, it is the one used in wireless multi-hop networks
Greedy technique 4/4: pick a shorter backoff Implementation of this cheating technique: 3 lines of code!
Proposed solution: DOMINO • DOMINO: System for Detection Of greedy behaviour in the MAC layer of WiFi public NetwOrks (Raya, Hubaux, Aad, Mobisys 2004) • Idea: monitor the traffic and detect deviations by comparing average values of observed users • Detection tests: statistical comparison of the observed protocol behaviour • Features: • Full standard compliance • Needs to be implemented only at the Access Point • Simple and efficient • The operator decides the amount of evidence required before taking action (in order e.g. to prevent false positives) • Other solution: Kyasanur + Vaidya, DSN 2003 (but not protocol compliant)
Detection Tests of DOMINO Cheating method Detection test Oversized NAV Comparison of the declared and actual NAV values Comparison of the idle time after the last ACK with DIFS Transmission before DIFS Number of retransmissions Frame scrambling Backoff manipulation Maximum backoff: the maximum should be close to CWmin - 1 Actual backoff Consecutive backoff
Simulation of cheating and detection • Cheating technique: Backoff manipulation • Traffic: • Constant Bit Rate / UDP traffic • FTP / TCP traffic • misbehavior coefficient (m): cheater chooses its backoff as (1 - m) x CWmin • Simulation environment: ns-2 Cheater
Simulation results • Each point corresponds to 100 simulations • Confidence intervals: 95%
Implementation of the demo prototype • Equipment • Adapters based on the Atheros AR5212 chipset • MADWIFI driver • Misbehavior: backoff • Overwrite the values CWmin and CWmax (in driver) • Monitoring • The driver in MONITOR mode • prism2 frame header
Conclusion on the prevention of greedy behaviour at the MAC layer • There exist greedy techniques against hotspots • Some of these techniques are straightforward • We have proposed, implemented and patented a simple solution, DOMINO, to prevent them (http://domino.epfl.ch) • The same problem in self-organized wireless systems is still unsolved. Can it be solved? • Game-theoretic study:M. Cagalj, S. Ganeriwal, I. Aad and J.-P. Hubaux"On Cheating in CSMA/CA Networks"Technical report No. IC/2004/27, July 2004 • Many problems still need to be solved in this field
Question 2: How to securely locate a node • Being able to securely verify the positions of devices can enable: • Location-based access control (e.g., prevention of the parking lot attack) • Detection of displacement of valuables • Detection ofstealing • Location-based charging • … • In multi-hop networks • Secure routing • Secure positioning • Secure data harvesting (sensor networks) • …
Positioning systems (and prototypes) • GPS, Galileo, Glonass (Outdoor, Radio Frequency (RF) – Time of Flight (ToF)) • Active Badge(Indoor, Infrared(IR)), Olivetti • Active Bat, Cricket(Indoor, Ultrasound(US)-based), AT&T Lab Cambridge, MIT • RADAR, SpotON, Nibble (Indoor/Outdoor, RF- RSS), Microsoft, Univ of Washington, UCLA+Xerox Palo Alto Lab • Ultra Wideband Precision Asset Location System, (Indoor/Outdoor, RF-(UWB)-ToF), Multispectral solutions, Inc. • Ad Hoc/Sensor Network positioning systems: • Convex position estimation (Centralized), UC Berkeley • Angle of Arrival based positioning(Distributed, Angle of Arrival), Rutgers • Dynamic fine-grained localization (Distributed), UCLA • GPS-less low cost outdoor localization(Distributed, Landmark-based), UCLA • GPS-free positioning (Distributed), EPFL
Distance measurement techniques - Based on the speed of light (RF, Ir) tr ts ts dABm=(tr-ts)c dABm=(tr-ts-tprocB)c/2 tr B A (A and B are synchronized - ToF) (A and B are NOT synchronized – Round trip ToF) - Based on the speed of sound (Ultrasound) tr(RF) ts ts tr(US) B A ts dABm=(tr(RF)-tr(US))s - Based on Received Signal Strength (RSS)
Attacks on RF and US ToF-based techniques - Dishonest device:cheat on the time of sending (ts) or time of reception (tr) - Malicious attacker: 2 steps: 1. Overhear and jam tr ts ts dABm=(tr-ts)c B A (A and B are assumed to be synchronised) M 2. Replay with a delay Δt tr+Δt ts ts+Δt B dABm=(tr+Δt-ts)c M => dABm>dAB
Summary of possible attacks on distance measurement Dishonest nodes Malicious attackers
The challenge of secure positioning • Goals: • preventing a dishonest node from cheating about its own position • preventing a malicious attacker from spoofing the position of an honest node • Our proposal: Verifiable Multilateration
Distance Bounding (RF) • Introduced in 1993 by Brands and Chaum (to prevent the Mafia fraud attack) NBS ts tr A BS dreal≤ db = (tr-ts)c/2(db=distance bound)
Distance bounding characteristics Dishonest nodes Malicious attackers • RF distance bounding: • nanosecond precision required, 1ns ~ 30cm • UWB enables clock precision up to 2ns and 1m positioning indoor and outdoor (up to 2km) • US distance bounding: • millisecond precision required,1ms ~ 35cm
Verifiable Multilateration (Trilateration) BS3 A BS2 (x,y) Verification triangle y x BS1 Distancebounding
Properties of Verifiable Multilateration - a node located within the triangle cannot prove to be at another position within the triangle except at its true position. - a node located outside the triangle formed by the verifiers cannot prove to be at any position within the triangle - a malicious attacker cannot spoof the position of a node such that it seems that the nodeisat a position different from its real position within the triangle - a malicious attacker cannot spoof the position of a node such that it seems that it is located at a position within the triangle, if the node is outside the triangle The same holds in 3-D, with a triangular pyramid instead of a triangle
Conclusion on secure positioning • New research area • Time of flight seems to be the most appropriate technique • Initial solutions for: • Hand-held / automotive devices • Sensor networks Srdjan Capkun and Jean-Pierre HubauxSecuring position and distance verification in wireless networks Technical report EPFL/IC/2004-43, May 2004 Srdjan Capkun and Jean-Pierre HubauxSecure Positioning in Sensor Networks Technical report EPFL/IC/2004-44, June 2004 (More information available at Srdjan’s home page: SecLoW)
Denial of service attacks • TCP can be highly vulnerable to protocol-compliant attacks: • Packet reordering • Packet delaying • Packet dropping • Illustration of the • « JellyFish » • re-order attack • Isolated relay chain • Single JF • Standard 802.11, 2Mb/s • TCP-Sack • Simulator: ns-2 Aad, Hubaux, Knightly, Mobicom 2004
Conclusion • The security of ad hoc and sensor networks is a strategic research topic • The kind of considered scenario (nature of the network authority, attacker model, capabilities of the nodes,…) can radically influence the solution to be chosen • The study of security problems in the framework of self-organized wireless systems can help identifying problems of and solutions for conventional networks
Upcoming Events • WiSe 2004 : 3rd ACM Workshop on Wireless Security, Philadelphia, October 1 • VANET 2004 : 1st ACM Workshop on Vehicular Ad Hoc Networks, Philadelphia, October 1 • SASN 2004 : ACM Workshop on Security of Ad Hoc and Sensor Networks, October 25, Washington DC • escar 2004 : 2nd Workshop on Security in Cars, Bochum, November 10-11