SmartData para uma Internet Confivel de Coisas Ciber-Fsicas Antnio - - PowerPoint PPT Presentation

Antônio Augusto Fröhlich

SmartData para uma Internet Confiável de Coisas Ciber-Físicas

Summary

 The IoT

• Smart Cities, the Smart Grid, and Smart Things
• CPS @ IoT (vs Smart Phones and Social Networks)

 Limitations of Current Protocols

• TCP/IP, SSL, SOAP, CoAP, IPv6, MQTT
• Security, space, time, and trustfulness

 IoT Gateways and Future Protocols

• SmartData: semantics, space, time, and trust
• FT-TSTP: Fault-Tolerant Trustful Space-Time Protocol

 CPS @ IoT

• UFSC Hydrology Sensor Network
• UFSC Smart Solar Building
• UFSC e-Bus

IoT and Smart Cities

source: IBM

Smart Cities

• n the Smart Grid

source: Energy Collective

Smart Cities on the Cloud

source: Oppino

Smart Things Everywhere: the Internet of Things

source: Google

Are we Building Killer Robots?

source: Sony Pictures

Actually, Yes!

source: Google, Volvo and Thames

Actually, Yes!

source: Google, Volvo and Thames

Internet of PC-like Things

 PC-like gadgets

• Android@Linux OS
• Cloud-connected apps
• Ordinary TCP/IP stack

 Susceptible to the

same problems of the

• rdinary Internet

 Initial push!

We Cannot Build the IoT

• n old Internet Technology!

 Smart light bulb leaks Wi-Fi passwords

http://www.bbc.com/news/technology-28208905

 Hacker shows off lethal attack on wireless

Medical Device

http://go.bloomberg.com/tech-blog/2012-02-29-hacker-shows-off-lethal-attack-by-controlling-wireless

• medical-device/

 “Thingbot”-net

http://www.proofpoint.com/products/targeted-attack-protection/internet-of-things.php

 Router-based Botnet

http://www.darkreading.com/attacks-breaches/router-based-botnet-on-the-loose/d/d-id/1130625

 SmartTV hack

https://securityledger.com/2013/08/samsung-smart-tv-like-a-web-app-riddled-with-vulnerabilities/

 “Hacking Medical Devices for fun and insulin”

http://media.blackhat.com/bh-us-11/Radcliffe/BH_US_11_Radcliffe_Hacking_Medical_Devices_WP. pdf

Internet of Cyber-Physical Things

Internet

 Zillions of smart

• bjects

 Embedded Systems

• Resource-constrained

(energy, processing, storage, networking)

• Event-driven (parallel

and asynchronous)

• Aware of time and

space

• Dependable, Secure,

and Trustful

IoT ↔ Internet Gateway And be subjected to the same problems of the ordinary Internet? Do Things have to talk TCP/IP?

SmartData for IoT

IoT↔Internet with SmartData

SmartData

 SI Units (inspired by IEEE 1451)  Data

Origin (x,y,z,t) Unit Value Expiry MAC

SmartData

 API  Messages

Region (x,y,z,r,t0,tf) Unit Mode Period Error Origin (x,y,z,t) Unit Value Expiry MAC Error Interest Response

+operator Value() : Value +SmartData(region, expiry, period, fuser) +SmartData(dev, expiry, mode) +location(): Coordinates +time(): Time SmartData Transducer +SmartData(controller, period, smartdata...) +wait() +operator=(value)

Region (x,y,z,r,t0,tf) Unit Period Command

Speculative Precision Time Protocol (SPTP)

Header

Heuristic Cooperative Calibration Positioning System (HeCoPS)

Header

TSTP Security Bootstraping

 Elliptic Curve Diffie–Hellman  Poly1305-AES  Synchronous clocks

SmartData Trickling

 Machine learning on

time-series of real sensors in the field

 Sensor and sink run

the same predictor

• Sensor only transmits

what is miss-predicted

= = = X = = X = = = X P P P D P P D P P P D

SmartData Trustfulness

 Machine learning on

time-series of real sensors in the field

• Feature selection
• Bayesian classification
• Offline learning
• NN optimization with GA
• Online prediction with NN

 Data tagged with

confidence based on correlation

 Security issues!

2 1 3

• 3
• 2
• 1

2 1 3

• 3
• 2
• 1

1 2 3

• 3
• 2
• 1

1 2 3

• 3
• 2
• 1

il pleut! il a le soleil! il neige! C’est 30°C C’est -5°C Vous êtes tous fous, les gars!

FT-TSTP

2 1 3 5 4 6 8 7 9 11 10 12 13

• 12
• 13
• 11
• 9
• 10
• 8
• 6
• 7
• 5
• 3
• 4
• 2
• 1

2 1 3 5 4 6 8 7 9 11 10 12 13

• 12
• 13
• 11
• 9
• 10
• 8
• 6
• 7
• 5
• 3
• 4
• 2
• 1

1 2 3 4 5 6 7

• 7
• 6
• 5
• 4
• 3
• 2
• 1

1 2 3 4 5 6 7

• 7
• 6
• 5
• 4
• 3
• 2
• 1

Secure SmartData Gateway

Internet IoT

IPv4 / IPv6 TCP JSON MAC PHY SSL / DTLS HTTPS Application Trustfulness from SmartData Time from SmartData Location from SmartData Data TSTP SmartData IEEE 802.15.4 / BLE / 5G MAC Routing Location Timing Crypt Auth Trickle Fusion Energy Application

Enclaved Gateway

SmartData Integrity: Blockchain

IoT Devices Internet IoT Gateways

Geolocated Timed Signed Encrypted

SmartData TPC/IP TSL

C r y p t

• H

a s h e s Data Ledger Cloud Storage Ledger Ledger

Security Agent SmartData

Log 1 Log 2 Log n Hash 1 Data 2 Hash 2 Data 1 Hash n Data n-1 Cloud Storage Encrypted Hashes and Sampled Data Log n Log 2 Log 1

public private

SmartData Integrity: Untrusted GW

IoT Devices Internet IoT Gateways

Geolocated Timed Signed Encrypted

SmartData@TSTP TPC/IP TSL

Machine Learning Analytics

LISHA’s IoT Platform

AI with LISHA’s IoT Platform

AI with LISHA’s IoT Platform

source: Universal Pictures

Smart with a Brain, sort of...

Controller Plant Sensors +

measurement r e f e r e n c e error input

• utput

Smart with a Brain, sort of...

Controller Plant Sensors +

measurement r e f e r e n c e error input

• utput

Model Ruler

mode setpoints

Model Model Model

UFSC Environmental Monitoring

UFSC Smart Solar Building

TOTAL POWER 50 kWp

UFSC Smart Solar Building

TOTAL POWER 50 kWp

UFSC Smart eBus

LISHA

 The Software/Hardware Integration Lab at the

Federal University of Santa Catarina has been established in 1984 to promote research on the frontier between software and hardware

 Come to work with us in beautiful Floripa!

Credits

 Davi Resner

• Consolidated 10 years of WSN research
• TSTP main developer
• Protocol performance evaluation

 César Huegel Richa

• Consolidated the cloud part of the platform
• IoT and Vehicles
• Predictors

 Lucas Wanner

• Former PostDoc, now Professor at UNICAMP
• WSN and CPSoC
• AI enthusiast that pushed LISHA into it

Obrigado!

Antônio Augusto Fröhlich lisha.ufsc.br