Concepedia

Publication | Open Access

A model checking-based security analysis framework for IoT systems

DOIFull Paper Access

33

Citations

35

References

2021

Year

Zheng Fang, Hao Fu, Tianbo Gu, Zhiyun Qian, Trent Jaeger, Pengfei Hu, Prasant Mohapatra
High-Confidence Computing

References

YearCitations

Page 1