Smart Lock
Secure Smart Home
Pedro Veiga - 76364
Rui Santos - 76384
João Santos - 76550
Problem
Solution
Solution Design
Protocol diagram
assumptions
- IST CAS is secure
- Electric power is assured
- No inside attacks
Database
| Name | istID | UID | Group |
|---|
| idDaily_Register | istID | timestamp |
|---|
| timestamp | name | action | new_state |
|---|
Authorised Students
Daily Register
Logs
Vulnerabilities
- Web-App
- RFID
- Raspberry Pi
System specification & Compromises
- Security Guards access the room and do not login the Web-App
- Eduroam does not always ping
- Faster than Light
DEV & Implementation
Results
- Prototype fully functional
- Not yet applied electro magnet lock
Evaluation
- Two-factor means protection against card robbery
- There are no user inputs which prevent user injection
- All the system is physically protected
- Access control and log
- Real time monitoring
- Cheap and scalable distribution of keys
-
Tolerancy for network faults
- Power outage shuts the whole system down
Demo video link
