Towards Fortifying the Safety and Security of IoT Systems
Explore this paper's citation graph
Summary
IoTSan is a novel practical system that uses model checking as a building block to reveal "interaction-level" flaws by identifying events that can lead the system to unsafe states and automatically translates IoT apps into a format amenable to model checking.
- Published
- 2018-01-01
- Cited by
- 0
- References
- 110
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:77394366
References
- The Theory and Practice of A Formal Method: NewCoRe
- Rocking Drones with Intentional Sound Noise on Gyroscopic Sensors
- Modelization and verification of a multiprocessor realtime OS kernel
- Principles of model checking
- Jimple: Simplifying Java Bytecode for Analyses and Transformations
- Symbolic model checking
- An Analysis of Bitstate Hashing
- Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking
- Verifying sequential behavior with model checking
- A Holistic Approach to ZigBee Performance Enhancement for Home Automation Networks
- Symbolic Model Checking of Software
- Benchmarking finite-state verifiers
- Reliability Models for the Internet of Things: A Paradigm Shift
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
- A Novel Multi-ACK Based Data Forwarding Scheme in Wireless Sensor Networks
- A Security Risk Assessment Framework for SysML Activity Diagrams
- SIFT: building an internet of safe things
- Packet loss ratio evaluation of the impact of interference on zigbee network caused by Wi-Fi (IEEE 802.11b/g) in e-health environment
- Coverage Estimation in Model Checking with Bitstate Hashing
- Moving Application Logic from the Firmware to the Cloud: Towards the Thin Server Architecture for the Internet of Things
Cited by
No citing papers recorded for this paper.
Related papers
No related papers recorded.