---

“A Model Checking-Based Security Analysis Framework for IoT Systems” by Zheng Fang, Hao Fu, Tainbo Gu, Zhiyun Qian, Trent Jaeger, Pengfei Hu, and Prasant Mohapatra. Elsevier High-Confidence Computing, 2021.

Download: PDF.

BibTeX entry:

@article{hcc21,
   author = {Zheng Fang and Hao Fu and Tainbo Gu and Zhiyun Qian and Trent
	Jaeger and Pengfei Hu and Prasant Mohapatra},
   title = {{A Model Checking-Based Security Analysis Framework for IoT
	Systems}},
   journal = {Elsevier High-Confidence Computing},
   year = {2021}
}

---

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.