Work

A Data Security Formal Verification Framework for IoT Application Systems

Year: 2025

Type: conference-paper

Source: International Conference on Advanced Electronic Materials, Computers and Software Engineering (AEMCSE)

DOI: 10.1109/aemcse65292.2025.11042318

Authors: Jishun Liu, Yaohe Cao, Zhengda Zhou, Ting Tian

Institution: The Third Institute of the Ministry of Public Security

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411584302

FWCI: 1.059

Cites: 9

Cited by: 1

Related to: 10