基于事件逻辑的云计算环境下数据完整性验证模型及协议研究

61562026
2015
F0201.计算机科学的基础理论
肖美华
地区科学基金项目
教授
华东交通大学
39万元
形式化分析;事件逻辑理论;数据完整性;协议验证;网络安全
2016-01-01到2019-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 入选2017年科技部创新人才推进计划重点领域创新团队 奖励 刘燕德;岑海燕;肖美华;潘磊庆;胡国良;吕强;周建民;郭文川
2 基于事件逻辑的无线Mesh网络认证协议安全性证明 期刊论文 李娅楠;肖美华;李伟;梅映天;钟小妹
3 运用 SPIN 对云环境双向认证协议 Nayak 的安全性验证 期刊论文 梅映天;肖美华;李伟
4 A Multifaceted Study on Eye Contact based Role Identification in Multiparty Conversations, SCI收录(CCF A类) 会议论文 Yu Ding;Yuting Zhang;Zhigang Deng;Meihua Xiao
5 基于事件逻辑的WMN客户端与LTCA认证协议安全性分析 期刊论文 肖美华;李娅楠;宋佳雯;王西忠;李伟;钟小妹
6 基于时间戳私钥签名的技术的Nayak-T协议安全性分析 期刊论文 梅映天;肖美华;李伟;李娅楠;钟小妹
7 Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events,SCI&EI收录 期刊论文 Ke Yang;Meihua Xiao;Jiawen Song
8 基于强认证理论的三方网络协议安全性证明 期刊论文 肖美华;刘欣倩;李娅楠;程道雷;梅映天
9 物联网环境下物流产业发展关联分析及对策研究——以江西省为例 期刊论文 李娅楠;肖美华;李伟
10 Formal Analysis and Verification for Three-Party Authentication Protocol of RFID 会议论文 Jia Chen;Meihua Xiao;Ke Yang
11 RFID超轻量级认证协议RCIA形式化分析与改进 期刊论文 钟小妹;肖美华;李伟;谌佳;李娅楠
12 2018年CCF全国理论计算机科学学术年会优秀论文 奖励 李娅楠;肖美华;宋佳雯;李伟;钟小妹
13 Formal Analysis and Improvement on Ultralightweight Mutual Authentication Protocols of RFID 期刊论文 Meihua Xiao;Wei Li;Xiaomei Zhong;Ke Yang;Jia Chen
14 2019年华东交通大学天佑人才计划 奖励 肖美华
15 QE-integrating framework based on Github knowledge and SVM ranking 期刊论文 Qing HUANG;Huaiguang WU
16 入选2017年度江西省主要学科学术和技术带头人 奖励 肖美华
17 安全协议形式化分析与验证 专著 肖美华
18 LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols 期刊论文 Jiawen Song;Meihua Xiao;Ke Yang;Xizhong Wang;Xiaomei Zhong
19 基于云PACS系统的DICOM协议安全通信框架 期刊论文 肖美华;李伟;李娅楠;梅映天
20 Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID,EI收录 会议论文 Wei Li;Meihua Xiao;Yanan Li;Yingtian Mei;Xiaomei Zhong
21 一种基于模型检测的安全协议形式化分析方法 专利 肖美华;杨科;王西忠;谌佳;宋佳雯;钟小妹
22 Formal Analysis and Verification of OAuth 2.0 Protocol Improved by Key Cryptosystems,SCI&EI收录 期刊论文 Meihua Xiao;Daolei Cheng;Wei Li;Yanan Li;Xinqian Liu;Yingtian Mei
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享