期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
谷歌事件敲响信息安全警钟
1
作者 卜凡金 《信息安全与技术》 2010年第6期3-4,共2页
互联网同金融系统一样需要监管。失去监管的互联网比失去监管的华尔街更可怕,等到发生全球信息危机的那一天,后果不堪设想。所以,我国应加强监管立法研究,同时对于危害国家主权和公民合法权益的网络犯罪行为,应坚决予以打击;与此同时,... 互联网同金融系统一样需要监管。失去监管的互联网比失去监管的华尔街更可怕,等到发生全球信息危机的那一天,后果不堪设想。所以,我国应加强监管立法研究,同时对于危害国家主权和公民合法权益的网络犯罪行为,应坚决予以打击;与此同时,对于民意表达甚至是善意批评政府的声音,应进一步开放空间。 展开更多
关键词 信息主权 监管立法
下载PDF
RSA-CEMD协议的分析及基于串空间模型的形式化证明 被引量：1
2
作者 卜凡金 邢育红 《计算机工程与科学》 CSCD 2007年第2期12-14,23,共4页
电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性... 电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析。 展开更多
关键词 公平交换协议 串空间 认证测试 形式化分析
下载PDF
电子签名的技术实现及申领方式简述 被引量：1
3
作者 卜凡金 《信息技术与信息化》 2005年第3期i016-i019,共4页
关键词 技术实现 全国人民代表大会 中华人民共和国 2004年8月 市场准入制度 电子签名法 2005年 法律效力 文本签名 认证服务 法律保障 电子交易 信息传递 第十届
下载PDF
基于串空间模型的电子商务协议的形式化分析 被引量：1
4
作者 邢育红 卜凡金 李大兴 《计算机工程与应用》 CSCD 北大核心 2006年第3期123-126,145,共5页
采用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法。串空间模型是一种新兴的密码协议形式化分析工具。文章基于串空间模型,扩展了认证测试方法,使之能够描述和分析电子商务协议。并用该方法对一个具体的协... 采用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法。串空间模型是一种新兴的密码协议形式化分析工具。文章基于串空间模型,扩展了认证测试方法,使之能够描述和分析电子商务协议。并用该方法对一个具体的协议进行了形式化分析,得到了与以往文献相同的结论。 展开更多
关键词 串空间模型 认证测试 形式化分析 交换协议 电子商务协议
下载PDF
一个挂号电子邮件协议的缺陷及改进
5
作者 邢育红 卜凡金 +1 位作者 李大兴 卿斯汉 《计算机工程与应用》 CSCD 北大核心 2006年第2期138-139,193,共3页
Nenadic等设计了一个公平的挂号电子邮件协议,协议的目的是实现互不信任的双方以一种公平的方式交换电子邮件和收据并提供发方不可否认证据和收方不可否认证据,这是通过构造一个可验证和可恢复的加密数字签名(VRES)来实现的,由于采用离... Nenadic等设计了一个公平的挂号电子邮件协议,协议的目的是实现互不信任的双方以一种公平的方式交换电子邮件和收据并提供发方不可否认证据和收方不可否认证据,这是通过构造一个可验证和可恢复的加密数字签名(VRES)来实现的,由于采用离线TTP,且没有使用零知识证明,效率非常高。该文通过分析指出该协议在构造可验证的加密数字签名时存在缺陷,从而使得它不能保证公平性,并对其进行了修改。 展开更多
关键词 挂号电子邮件协议 可验证的数字签名 协议分析
下载PDF
乐观公平交换协议的可追究性分析
6
作者 邢育红 卜凡金 《计算机工程与应用》 CSCD 北大核心 2006年第27期125-128,共4页
可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议。目前没有针对乐观公平交换协议的可追究性进行形式化分析的具体方法。文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法... 可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议。目前没有针对乐观公平交换协议的可追究性进行形式化分析的具体方法。文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法不再单独定义非否认证据,只是研究协议的目标设计是否能提供实现可追究性的证据,将可追究性证明与公平性等其它安全性质的证明分开讨论,这样不论协议是否满足其它安全性质,都可以讨论协议是否满足可追究性。 展开更多
关键词 乐观公平交换协议 可追究性 形式化分析
下载PDF
多智能体深度强化学习驱动的跨园区能源交互优化调度
7
作者 李扬 马文捷 +3 位作者 卜凡金 杨震 王彬 韩猛 《电力建设》 CSCD 北大核心 2024年第5期59-70,共12页
为协调多园区综合能源系统各个园区之间的能量交互,多能源子系统之间的能源转换,实现综合能源系统整体优化调度,提出一种利用多智能体深度强化学习算法学习不同园区的负荷特征,并在此基础上进行决策的综合调度模型。该模型将多园区综合... 为协调多园区综合能源系统各个园区之间的能量交互,多能源子系统之间的能源转换,实现综合能源系统整体优化调度,提出一种利用多智能体深度强化学习算法学习不同园区的负荷特征,并在此基础上进行决策的综合调度模型。该模型将多园区综合能源系统的调度问题转化为马尔科夫决策过程,并利用深度强化学习算法进行求解,避免了对多园区、多能源子系统之间复杂的能量耦合关系进行建模。仿真结果表明,所提方法可以很好地捕捉到不同园区的负荷特性,并利用其中的互补特性协调不同园区之间进行合理的能量交互,可以实现弃风率由16.3%降低至0,并可以使总运行成本降低5445.6元,具有良好的经济效益和环保效益。 展开更多
关键词 多智能体深度强化学习 综合能源系统 优化调度 可再生能源消纳 负荷特征学习 多园区能量交互
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部