Treffer: A Data Security Formal Verification Framework for IoT Application Systems

Title:
A Data Security Formal Verification Framework for IoT Application Systems
Authors:
Liu, Jishun, Cao, Yaohe, Zhou, Zhengda, Tian, Ting
Source:
2025 8th International Conference on Advanced Electronic Materials, Computers and Software Engineering (AEMCSE) Advanced Electronic Materials, Computers and Software Engineering (AEMCSE), 2025 8th International Conference on. :279-283 May, 2025
Relation:
2025 8th International Conference on Advanced Electronic Materials, Computers and Software Engineering (AEMCSE)
Database:
IEEE Xplore Digital Library