工业控制网络协议形式化建模及其安全评估

61762060
2017
F0206.信息安全
冯涛
地区科学基金项目
研究员
兰州理工大学
38万元
形式化分析;自动化验证;密码协议分析;安全属性验证
2018-01-01到2021-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Network Intrusion Detection Based on Data Feature Dynamic Ensemble Model 会议论文 Feng Tao;Dou Manfang;Xie Pengshou;Fang Junli
2 Modelling the Publishing Process of Big Location Data Using Deep Learning Prediction Methods 期刊论文 Yan Yan;Wang Bingqian;Sheng Quan Z.;Mahmood Adnan;Feng Tao;Xie Pengshou
3 Edge Computing Assisted an Efficient Privacy Protection Layered Data Aggregation Scheme for IIoT 期刊论文 Rong Ma;Tao Feng;Junli Fang
4 Digital Copyright Protection System for Oil and Gas Knowledge Achievements Based on Blockchain 期刊论文 Feng T;Yang R;Gong R
5 BACnet/IP协议设备认证安全方法 专利 龚翔;赵思蒙;冯涛;方君丽;郑路;王晶
6 一种导览机器人用演示设备控制方法 专利 潘峥嵘;包广清;朱翔;张宁;冯涛;龚翔;李策;李涛;李春云;卢明;刘晓阳;张磊;许鑫;程启超
7 一种EtherCAT协议安全改进方法. 专利 冯涛;王帅帅;龚翔;方君丽;谢鹏寿;姜筱彦
8 一种可添加身份属性的高效跨链认证方法 专利 冯涛;陈武阳;杨任轶;裴宏梅;方君丽;蒋泳波
9 工业以太网EtherCAT协议形式化安全评估及改进 期刊论文 冯涛;王帅帅;龚翔;方君丽
10 An Efficient and Anonymous KP-ABE Scheme with Keyword Search 会议论文 Feng Tao;Yin Xiaoyu;Liu Chunyan
11 A Searchable CP-ABE Privacy Preserving Scheme 期刊论文 Feng Tao;Yin Xiaoyu;Lu Ye;Fang Junli Li
12 基于区块链的多授权属性基可验证加密方法 专利 冯涛;孔繁琪;柳春岩，;方君丽，;马蓉;杨璞
13 基于可搜索属性加密的区块链数据隐私保护访问 专利 冯涛;裴宏梅;陈武阳;方君丽;龚翔
14 一种基于区块链的一站式高效PKI认证服务方法 专利 冯涛;陈武阳;裴宏梅;方君丽;龚翔
15 导览机器人(可变形) 专利 潘峥嵘;包广清;朱翔;张宁;冯涛;龚翔;李策;李涛;李春云;卢明;刘晓阳;张磊;许鑫;程启超
16 Behavioral Feature and Correlative Detection of Multiple Types of Node in the Internet of Vehicles 期刊论文 Xie Pengshou;Ma Guoqiang;Feng Tao;Yan Yan;Han Xueming
17 Cryptography Security Designs and Enhancements of DNP3-SA Protocol Based on Trusted Computing. 期刊论文 Lu Ye;Feng Tao
18 The Security Assessment on Programment on Programmable Logic Controller based on Attack Tree Model and FAHP 会议论文 Tao Feng;Yanxia Shi;Renbin Gong;Qianchuan Zhao
19 一种基于受限应用协议COAP的密钥协商及认证方法 专利 龚翔;冯涛
20 基于零知识证明的区块链数据隐私保护和共享方法 专利 冯涛;杨璞;方君丽;蒋泳波;张迪;孔繁琪
21 一种基于CAN的车内通信协议安全改进方法 专利 冯涛;郑路;龚翔;方君丽;马庄宇;王晶
22 Blockchain Data Sharing Scheme Based on Searchable Agent Re-Encryption 期刊论文 Feng tao;Pei Hongmei;Pengshou Xie;Feng xiaoqing
23 A weighted intrusion detection model of dynamic selection. 期刊论文 Feng Tao;Dou Manfang
24 Dynamic Release of Big Location Data Based on Adaptive Sampling and Differential Privacy 期刊论文 Yan Yan;Zhang Lianxiu;Sheng Quan Z.;Wang Bingqian;Gao Xin;Cong Yiming
25 工业以太网协议脆弱性与安全防护技术综述 期刊论文 冯涛;鲁晔;方君丽
26 基于区块链的双重可验证云存储方案 期刊论文 冯涛;孔繁琪;柳春岩;马蓉;Maher Albettar
27 Blockchain Data Privacy Access Control Based on Searchable Attribute Encryption 期刊论文 Feng Tao;Pei Hongmei;Ma Rong;Tian Youliang;Feng Xiaoqin
28 基于CPN的安全协议形式化建模及安全分析方法 期刊论文 龚翔;冯涛;杜谨泽
29 Group signature with time-bound keys and unforgeability of expiry time for smart cities 期刊论文 Fang Junli;Feng Tao
30 OPCUA协议的安全增强方法 专利 龚翔;马庄宇;冯涛;方君丽;郑路;王晶
31 过期时间不可伪造的可撤销群签名方法 专利 方君丽;冯涛;郭显;马蓉;张迪;王晶
32 One-Stop Efficient PKI Authentication Service Model Based on Blockchain 会议论文 Feng Tao;Chen Wuyang;Zhang Di;Liu Chunyan
33 Forgery Node Detection Algorithm Based on Dynamic Reputation Value in the Internet of Vehicles 期刊论文 Xie P; Ma G;Feng T
34 Differential Private Spatial Decomposition and Location Publishing Based on Unbalanced Quadtree Partition Algorithm 期刊论文 Yan Yan;Gao Xin;Mahmood Adnan;Feng Tao;Xie Pengshou
35 Research on privacy enhancement scheme of blockchain transactions 期刊论文 Feng Tao;Chen Xuan;Liu Chunyan;Feng Xiaoqin
36 Secure Sharing Model Based on Block Chain in Medical Cloud (Short Paper) 会议论文 Feng Tao;Jiao Ying;Fang Junli
37 Research on trusted DNP3-BAE protocol based on hash chain 期刊论文 Lu Ye;Feng Tao
38 Secure Data Collaborative Computing Scheme Based on Blockchain 期刊论文 Tao Feng;Xusheng Wang;Chunyan Liu;Junli Fang
39 可证明安全的网络和数据匿名性及隐私增强身份管理关键技术及应用(自然科学三等奖) 奖励 冯涛;郭显;曹来成
40 基于区块链的双重可验证云存储方法 专利 冯涛;孔繁琪;柳春岩;方君丽;马蓉
41 基于可搜索代理重加密的区块链数据共享方法 专利 冯涛;裴宏梅;陈武阳;杨任轶;杜瑾泽;方君丽
42 基于区块链的数字版权保护方法 专利 冯涛;杨任轶;龚仁彬;裴宏梅;陈武阳;蒋泳波;方君丽
43 BACnet协议设备的安全认证方法 专利 冯涛;姜筱彦;龚翔;方君丽;王帅帅;王晶
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享