基于时间自动机的数据流通控制建模及验证

李恒; 李凤华; 梁琬珩; 郭云川; 张玲翠; 周紫妍

doi:10.11959/j.issn.1000-436x.2025038

您当前的位置：

首页 >

文章列表页 >

基于时间自动机的数据流通控制建模及验证

学术论文 | 更新时间：2025-04-01

- 基于时间自动机的数据流通控制建模及验证
- Modeling and verification of data circulation control based on timed automata
- 通信学报 2025年46卷第3期页码：13-27
- 作者机构：
  
  1.中国科学院信息工程研究所，北京 100085
  2.中国科学院大学网络空间安全学院，北京 100049
  3.网络空间安全防御全国重点实验室，北京 100085
  4.自然资源部国家基础地理信息中心，北京 100830
  5.南京信息工程大学计算机学院、网络空间安全学院，江苏南京 210044
- 作者简介：
  
  [ "李恒（1990- ），男，陕西汉中人，中国科学院信息工程研究所博士生、高级工程师，主要研究方向为数据要素流通、访问控制、信息保护、隐私计算等。" ]
  [ "李凤华（1966- ），男，湖北浠水人，博士，中国科学院信息工程研究所研究员、博士生导师，主要研究方向为网络与系统安全、信息保护、隐私计算等。" ]
  [ "梁琬珩（2003- ），女，广东湛江人，中国科学院信息工程研究所博士生，主要研究方向为访问控制。" ]
  [ "郭云川（1977- ），男，四川营山人，博士，中国科学院信息工程研究所高级工程师、博士生导师，主要研究方向为访问控制。" ]
  [ "张玲翠（1986- ），女，河北故城人，博士，中国科学院信息工程研究所高级工程师，主要研究方向为网络与系统安全。" ]
  [ "周紫妍（1998- ），女，河北秦皇岛人，中国科学院信息工程研究所博士生，主要研究方向为访问控制。" ]
- 基金信息：
  
  国家重点研发计划基金资助项目(2023YFB3106505);国家自然科学基金资助项目(U24A20240;62441226)
- DOI：10.11959/j.issn.1000-436x.2025038
  中图分类号： TN92
- 收稿：2025-02-12，
  
  修回：2025-03-13，
  
  纸质出版：2025-03-25
- 稿件说明：
移动端阅览
李恒,李凤华,梁琬珩等.基于时间自动机的数据流通控制建模及验证[J].通信学报,2025,46(03):13-27.

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.
李恒,李凤华,梁琬珩等.基于时间自动机的数据流通控制建模及验证[J].通信学报,2025,46(03):13-27. DOI： 10.11959/j.issn.1000-436x.2025038.

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.

浏览量

896

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于细粒度访问控制的密文域可逆信息隐藏

支持拜占庭容错的分布式物联网访问控制机制

面向数据跨域安全流通的访问控制研究综述

面向云存储且支持重加密的多关键词属性基可搜索加密方案

基于区块链的噪声化数据分享控制协议

基于时间自动机的数据流通控制建模及验证

Modeling and verification of data circulation control based on timed automata

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