杨元原

作品数：12被引量：39H指数：3
导出分析报告
供职机构：公安部第三研究所更多>>
发文主题：安全协议形式化分析重写规则个人信息保护自动化检测更多>>
发文领域：自动化与计算机技术政治法律电子电信更多>>
发文期刊：《网络空间安全》《计算机应用研究》《电脑知识与技术》《沈阳工业大学学报》更多>>
所获基金：国家自然科学基金国家教育部博士点基金高等学校学科创新引智计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于DSMM的工业企业数据安全能力体系建设研究被引量：1
《电脑知识与技术》2024年第22期89-91,共3页郑智豪 杨元原 罗安妮 王志佳 
数据作为工业企业至关重要的核心资产,已逐渐演化为推动工业行业发展的前沿生产资源。为有效提升工业企业的数据安全管理水平,文章基于数据安全能力成熟度模型DSMM,结合国家对工业行业的发展规划、数据安全相关法规以及工业领域数据的...
关键词：工业领域 企业 数据安全 框架 
基于等级保护的个人信息安全分级方法研究被引量：2
《信息网络安全》2020年第S02期13-16,共4页唐迪 顾健 俞优 杨元原 
国家自然科学基金[61801125];公安理论及软科学研究计划[2017LLYJGASS020];上海市“科技创新行动计划”[18DZ2203500]
文章通过分析国内外个人信息保护的相关思想和要求,针对个人信息分级保护缺少保护原则、保护要求及技术措施的问题,基于个人信息属性特点、行业要求、安全能力等,提出了个人信息分级的原则及方法,结合网络安全等级保护制度提出了基于等...
关键词：个人信息保护 个人信息分级 分级保护要求 
医疗云中高效安全的数据共享方案研究被引量：11
《计算机工程与应用》2020年第1期92-97,共6页黄娜娜 沈亮 杨元原 
国家重点研发计划项目（No.2016YFB0800901）
随着云计算的快速发展,个人电子病历记录(Personal Health Record,PHR)作为一种新兴的健康信息交换模式,已经成为研究与应用领域的热点话题。为了实现医疗云中安全高效的数据共享,提出了可撤销的基于CP-ABE的数据共享方案。在该方案中,...
关键词：个人医疗健康档案 可撤销的外包 属性撤销 
Java智能卡Applet防火墙安全评估技术研究被引量：1
《网络空间安全》2016年第8期54-59,共6页田晓鹏 杨元原 
上海市移动智能终端安全性测试公共服务平台(上海市科学技术委员会2014年"科技创新行动计划"专业技术服务平台建设专项)(课题编号:14DZ2294400)
针对当前Java智能卡Applet防火墙缺乏系统性评估技术的问题,论文提出了一种新的安全评估方法。该方法分别从一致性、安全性等角度系统衡量Applet防火墙的安全功能,一方面对Applet防火墙的合规性进行一致性评估,另一方面,利用典型的Java...
关键词：JAVA智能卡 Applet防火墙 安全评估 一致性 安全性 
RFID安全协议追踪攻击的形式化分析被引量：2
《信息网络安全》2015年第9期25-28,共4页杨元原 陆臻 顾健 
公安理论及软科学研究计划[2014LLYJGASS066]
针对当前RFID安全协议可能存在的恶意追踪问题,文章提出了一个追踪攻击的形式化分析模型。该模型首先定义了攻击者消息元素集合的概念,之后根据攻击者消息元素集合中消息使用的代数运算,推导出攻击者的攻击行为,并由此确定攻击者行为集...
关键词：RFID系统 安全协议 隐私性 追踪攻击 攻击者模型 射频指纹 
带有异或运算安全协议的自动化检测被引量：1
《西安电子科技大学学报》2012年第4期120-125,183,共7页杨元原 马文平 刘维博 俞优 顾健 
国家自然科学基金资助项目(61072140);高等学校创新引智计划资助项目(B08038);高等学校博士学科点专项科研基金资助项目(20100203110003);陕西省教育厅科研计划资助项目(2010JK825)
针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸...
关键词：安全协议 形式化分析 模型检测 代数性质 
有效的多协议攻击自动化检测系统被引量：2
《重庆大学学报（自然科学版）》2012年第2期71-77,共7页杨元原 马文平 刘维博 张笑笑 
国家863计划资助项目(2007AA01Z472);国家自然科学基金资助项目(60773002);高等学校创新引智计划资助项目(B08038);高等学校博士学科点专项科研基金(20100203110003)
针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消...
关键词：全协议 形式化分析 模型检测 重写规则 多协议攻击 
一种可检测类型缺陷攻击的SAT改进模型被引量：1
《沈阳工业大学学报》2011年第4期422-427,共6页杨元原 马文平 刘维博 白晓峰 
国家863计划资助项目(2007AA01Z472);国家自然科学基金资助项目(60773002);高等学校创新引智计划资助项目(B08038);高等学校博士学科点专项科研基金资助项目(20100203110003)
针对现有SAT模型检测器不能检测类型缺陷攻击的问题,提出了一种新的SAT#改进模型.该模型通过在匹配模式下引入无类型变量,并利用无类型消息的概念,解除了SAT模型检测器对未知消息的类型限制,并且在诚实主体重写规则中用无类型消息替换...
关键词：安全协议 形式化分析 模型检测 重写规则 类型缺陷攻击 匹配模式 图形编码 满足性问题 
模型检测中可变攻击者模型的构造被引量：2
《北京邮电大学学报》2011年第2期54-57,共4页杨元原 马文平 刘维博 
国家自然科学基金项目(61072140);高等学校创新引智计划项目(B08038);高等学校博士学科点专项科研基金项目(20100203110003)
提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,...
关键词：安全协议 攻击者模型 代数运算 重写规则 
利用信任模型构建安全路由协议被引量：3
《北京邮电大学学报》2010年第3期48-51,共4页余旺科 马文平 严亚俊 杨元原 
国家高技术研究发展计划项目(2007AA01Z472);国家自然科学基金项目(60773002)
为在没有固定基站或中心节点的移动Ad Hoc网络中实现身份认证机制,提出了一种无需任何信任第3方认证服务器的动态信任模型.在该模型中,邻居节点间通过相互认证来建立路由信息.利用该动态信任模型组建了一个可信任的Ad Hoc网络.分析结果...
关键词：AD HOC网络 安全 动态信任模型 路由协议 认证 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部