您当前的位置：
首页 >
文章列表页 >
Modeling and verification of data circulation control based on timed automata
Papers | 更新时间：2025-04-01

    • Modeling and verification of data circulation control based on timed automata

    • Journal on Communications   Vol. 46, Issue 3, Pages: 13-27(2025)

    • DOI：10.11959/j.issn.1000-436x.2025038    

      CLC： TN92

    • Received：12 February 2025，

      Revised：2025-03-13，

      Published：25 March 2025

    移动端阅览

  • LI Heng,LI Fenghua,LIANG Wanheng,et al.Modeling and verification of data circulation control based on timed automata[J].Journal on Communications,2025,46(03):13-27. DOI： 10.11959/j.issn.1000-436x.2025038.

  •  
  •  

0

Views

896

下载量

0

CSCD

Alert me when the article has been cited
提交
Tools
Download
Export Citation
Share
Add to favorites
Add to my album

Related Articles

Reversible data hiding in encrypted domain based on fine-grained access control
Byzantine fault-tolerant distributed access control mechanism for the Internet of things
Research on access control for secure cross-domain data circulation
Multi-keyword attribute-based searchable encryption scheme supporting re-encryption for cloud storage
Blockchain-based noisy data sharing control protocol

Related Author

ZHANG Minqing
PENG Shen
JIANG Chao
DI Fuqiang
DONG Yufeng
CHAI Rong
AI Liping
YANG Ningyu

Related Institution

Key laboratory of CTC&IE (Engineering University of PAP), Ministry of Education
College of Cryptography Engineering, Engineering University of PAP
Chongqing Key Laboratory of Mobile Communication Technology
School of Communications and Information Engineering, Chongqing University of Posts and Telecommunications
School of Cyberspace Security, University of Science and Technology of China
0