期刊文献+
共找到73篇文章
< 1 2 4 >
每页显示 20 50 100
基于Petri网的多播组动态管理协议IGMP的形式化分析 被引量:7
1
作者 陆正福 于光德 +1 位作者 李亚东 王国栋 《计算机应用》 CSCD 北大核心 2002年第7期12-14,17,共4页
文中在对IGMP详细的机制分析的基础上用扩展的库所 变迁网对其进行了形式化的描述 ,从而奠定了IGMP协议分析和具体实现的基础。
关键词 IP多播 IGMP PETRI网 协议工程学
在线阅读 下载PDF
IP多播组密钥管理方案分类体系研究 被引量:13
2
作者 陆正福 李亚东 何英 《计算机工程与科学》 CSCD 2004年第10期23-26,33,共5页
IP多播组密钥管理问题是IP多播安全的核心问题。本文通过对现有组密钥管理方案和密钥管理本身规律的研究,给出了组密钥管理方案的详细分类,该分类对分析和改进已有方案、设计新的方案具有重要的指导意义。
关键词 组密钥管理 IP多播 细分 方案 安全 设计 分类体系 核心问题 指导意义 规律
在线阅读 下载PDF
构建微生物分子分类系统进化树的快速运算法与数据结构 被引量:4
3
作者 陆正福 徐丽华 +1 位作者 姜成林 许宗雄 《微生物学通报》 CAS CSCD 北大核心 1997年第1期22-26,共5页
本文介绍了构建系统进化树的NJ方法(NeighborJoiningMethod)所涉及的算法与数据结构。文中给出了基于数据复用性的算法改进,获得了快速算法──FNJ算法,从而将算法的时间复杂度由(N5)降低为(N3);并给出了自动绘制进化分枝图的... 本文介绍了构建系统进化树的NJ方法(NeighborJoiningMethod)所涉及的算法与数据结构。文中给出了基于数据复用性的算法改进,获得了快速算法──FNJ算法,从而将算法的时间复杂度由(N5)降低为(N3);并给出了自动绘制进化分枝图的算法。 展开更多
关键词 微生物 分子分类 算法 数据结构 系统进化树
在线阅读 下载PDF
有限理性公平数据交换协议的设计与仿真 被引量:2
4
作者 陆正福 普艳红 +2 位作者 倪盛斌 许辰铭 杨春尧 《计算机科学》 CSCD 北大核心 2018年第11期115-123,共9页
理性交换协议(REP)因使用了理想化的理性假设,在现实中有可能失效。为解决此协议失效的问题,基于与现实更为接近的有限理性假设(BRH),定义了有限理性公平概念,并首次基于BRH设计了有限理性公平数据交换协议(FDEP-BR)。理论分析表明,与RE... 理性交换协议(REP)因使用了理想化的理性假设,在现实中有可能失效。为解决此协议失效的问题,基于与现实更为接近的有限理性假设(BRH),定义了有限理性公平概念,并首次基于BRH设计了有限理性公平数据交换协议(FDEP-BR)。理论分析表明,与REP相比,FDEP-BR虽然牺牲了一定效率(轮复杂度为O(l*v)),但具有容错性和有限理性公平性,能够抵抗非合作攻击。对FDEP-BR构造自动机模型,并改进经验加权吸引(EWA)学习模型的决策方式,设计了EWA学习决策算法;在此基础上,基于Jade-Repast集成平台对FDEP-BR进行了仿真,仿真结果表明FDEP-BR的均衡状态与预期具有一致性。 展开更多
关键词 有限理性 有限自动机 有限理性公平 公平数据交换协议 协议仿真
在线阅读 下载PDF
FHE-相容的分布式人脸识别方案设计与分析 被引量:2
5
作者 陆正福 王欢 《计算机工程与设计》 北大核心 2016年第6期1428-1434,1542,共8页
密码协议与人脸识别的结合需解决两者的相容性、因协议约束导致的低识别率和低效率问题。融合C/S和管道-过滤器结构提出分布式人脸识别系统(DFRS)体系结构,引入并改进整数环上的全同态加密(FHE),以此为基础设计远程管道协议,提出FHE-相... 密码协议与人脸识别的结合需解决两者的相容性、因协议约束导致的低识别率和低效率问题。融合C/S和管道-过滤器结构提出分布式人脸识别系统(DFRS)体系结构,引入并改进整数环上的全同态加密(FHE),以此为基础设计远程管道协议,提出FHE-相容的DFRS方案(FHE*DFRS)。采用与FHE相容的欧式距离分类,采用Gabor小波和主成分分析进行特征提取,提高识别率,将欧式距离计算转化为点积计算,降低轮次复杂度。实验验证与分析结果表明,该方案能够保护隐私,具有较高的识别率和效率。 展开更多
关键词 全同态加密 分布式人脸识别 体系结构设计 协议设计 算法设计
在线阅读 下载PDF
基于深度学习的隐私保护型分布式人脸识别系统 被引量:8
6
作者 陆正福 周宪法 +1 位作者 杨慧慧 李佳 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2021年第4期700-706,共7页
基于深度学习的分布式人脸识别系统(Distributed Face Recognition System,DFRS)与安全计算的结合存在相容性问题和性能问题.相容性问题表现为深度学习中非线性函数和安全计算所支持的运算类型之间存在差异;性能问题表现为低效的安全计... 基于深度学习的分布式人脸识别系统(Distributed Face Recognition System,DFRS)与安全计算的结合存在相容性问题和性能问题.相容性问题表现为深度学习中非线性函数和安全计算所支持的运算类型之间存在差异;性能问题表现为低效的安全计算与高开销的深度学习的结合将会导致DFRS的过长响应时间.针对相容性问题,考虑到非线性,提出基于混淆电路与深度学习相结合的隐私保护型DFRS设计方案,从而解决运算相容问题;针对性能问题,提出体系结构的改造方案.将深度学习的网络层拆分为两部分,将计算量较大的部分以高效的明文计算形式部署在客户端以提升DFRS效率.理论分析表明,新方案兼备非线性计算与安全性保护的功能优势.原型实验表明,新的体系结构使得系统的消息复杂度从近1998.206 MB减少到近60.591 MB,纯计算耗时从17.742 s降低到0.644 s,100 MB带宽下系统响应时间从177.125 s降至5.751 s. 展开更多
关键词 分布式人脸识别系统 系统体系结构 混淆电路 深度学习 安全两方计算
在线阅读 下载PDF
组密钥管理中的d叉树数据结构设计 被引量:2
7
作者 陆正福 何英 《计算机工程与科学》 CSCD 2006年第10期13-15,共3页
d叉树数据结构与算法在互联网多播安全的层次化组密钥管理的实现中是极其重要的。我们设计了适用于层次化组密钥管理的d叉树数据结构表示与算法,并给出了相应的存储结构中随机定位所需要的数学性质。
关键词 多播安全 组密钥 d叉树 算法设计 密钥图 密钥树
在线阅读 下载PDF
基于OPNET Modeler的网络性能仿真实验 被引量:4
8
作者 陆正福 刘吉庆 《实验科学与技术》 2006年第4期4-7,14,共5页
以视频会议系统为应用实例,基于不同的用户规模和数据传送方式(单播和多播),给出了使用OPNETModeler建模仿真的过程,进行了结果分析。从方法学的角度看,这些对于研究、开发和教学均有一定的指导意义和参考价值。
关键词 OPNET 性能仿真 多播 视频会议
在线阅读 下载PDF
密钥覆盖问题的建模、变换及近似算法 被引量:1
9
作者 陆正福 洪孙焱 《小型微型计算机系统》 CSCD 北大核心 2007年第7期1189-1194,共6页
组密钥管理是组安全、多播安全中的核心问题.本文给出了密钥覆盖问题模型的建立过程,首次给出密钥覆盖问题(KCP)与顶点覆盖问题(VCP)的相互变换.基于从VCP到KCP的变换,证明了密钥覆盖问题是NP完全的;基于从KCP到VCP的变换,基于VCP的算法... 组密钥管理是组安全、多播安全中的核心问题.本文给出了密钥覆盖问题模型的建立过程,首次给出密钥覆盖问题(KCP)与顶点覆盖问题(VCP)的相互变换.基于从VCP到KCP的变换,证明了密钥覆盖问题是NP完全的;基于从KCP到VCP的变换,基于VCP的算法为KCP设计了一类近似算法并给出了模拟试验.本文的结果为组安全、多播安全研究提供了更为坚实的算法基础. 展开更多
关键词 组密钥管理 组合优化 计算复杂性 顶点覆盖问题 密钥覆盖问题 密钥图
在线阅读 下载PDF
FHE~* KDFRS:全同态加密相容的核基人脸识别系统 被引量:4
10
作者 陆正福 李佳 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2018年第6期1116-1127,共12页
生物特征识别是一种有着特征唯一、不易复制等良好特性的个人身份鉴定与识别技术.但在识别过程中,个人信息通过公开信道传输或网络服务器存储时,有可能会受到第三方的截获和修改,或通信双方提供虚假信息进行相互欺骗.可通过引入全同态... 生物特征识别是一种有着特征唯一、不易复制等良好特性的个人身份鉴定与识别技术.但在识别过程中,个人信息通过公开信道传输或网络服务器存储时,有可能会受到第三方的截获和修改,或通信双方提供虚假信息进行相互欺骗.可通过引入全同态加密协议以保护数据与分类器.此类方案设计主要存在2方面问题:一方面是只支持"加乘"运算的全同态加密算法与识别算法的运算相容性问题;另一方面是由于加密算法的约束导致识别率与运行效率的降低.以C/S模型为基础,采用了Gabor小波和核主成分分析法,利用数据的非线性信息和高阶统计特性以提高识别率;并设计了通信协议,使用了多项式核和改进后的DGHV加密方案,以解决相容性问题.原型实现的实验数据表明,该方案在承接源自全同态加密的隐私保护的前提下,有着较高的识别率与运行效率,其累积匹配率为91.9%,最高识别率为97.62%,最大识别时间花销约为1 s. 展开更多
关键词 分布式人脸识别系统 支持向量机 全同态加密 核方法 隐私保护
在线阅读 下载PDF
COPS协议的分析及其Petri网建模 被引量:1
11
作者 陆正福 杨洋 《计算机工程》 CAS CSCD 北大核心 2004年第7期82-83,188,共3页
在对COPS协议作详细非形式化分析的基础上,用扩展的库所/变迁网对其主要部分进行了形式化的描述,从而为COPS协议的分析与改进奠定了基础。
关键词 COPS PETRI网 策略执行点 策略决策点 消息完整性
在线阅读 下载PDF
Bi-PIM协议的原理分析及其Petri网模型 被引量:1
12
作者 陆正福 王敏 《计算机工程》 CAS CSCD 北大核心 2004年第2期124-126,共3页
文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础。
关键词 IP多播 PIM-SM协议 Bi—PIM协议 PETRI网 协议工程学
在线阅读 下载PDF
符合GSAKMP的覆盖多播水印协议的设计与分析 被引量:1
13
作者 陆正福 王涛 《计算机工程与设计》 CSCD 北大核心 2008年第1期225-229,258,共6页
GSAKMP是为多播群组安全所设计的一个密钥管理协议框架。在分析了GSAKMP密钥相关机制的基础上,结合多播水印的知识,对包括数据保密性和版权保护的安全覆盖多播水印协议的设计进行了研究,该协议适用于需要进行泄漏跟踪的流媒体传输。
关键词 覆盖多播安全 组安全关联密钥管理协议 多播水印协议 数字水印 数字指纹
在线阅读 下载PDF
一类群组注册协议的设计及其BAN逻辑演绎 被引量:1
14
作者 陆正福 刘吉庆 《计算机工程》 CAS CSCD 北大核心 2007年第3期157-159,共3页
MIKEY是一种可应用于实时的、多媒体通信的群组注册协议的规范。该文分析了MIKEY规范中的密钥生成、分发机制,设计了一个符合MIKEY规范、基于公钥的群组注册协议,最后应用BAN逻辑分析了该协议的安全性。
关键词 MIKEY 密钥管理 注册协议 BAN逻辑
在线阅读 下载PDF
并元加性群的陪集划分与RM码的小数逻辑译码算法 被引量:1
15
作者 陆正福 胡正名 阮传概 《电子科学学刊》 CSCD 1992年第6期596-601,共6页
本文首次提出了并元加性群陪集划分中的两个新概念,给出了它们的充分必要条件,并给予证明。籍此解决了对RM码实施的小数逻辑译码算法的可行性问题。
关键词 并元群 陪集 编码 RM码 算法
在线阅读 下载PDF
CRC码的Simulink仿真实验 被引量:1
16
作者 陆正福 官金兰 吴立芝 《实验科学与技术》 2007年第5期45-48,共4页
介绍了CRC码的原理,给出了基于Simulink进行循环冗余校验码的仿真实验过程,对于类似的实验具有借鉴意义。
关键词 CRC码 仿真 SIMULINK仿真
在线阅读 下载PDF
基于LUC密码体制的分类多秘密共享方案 被引量:1
17
作者 陆正福 杜珍珍 +3 位作者 何英 张瑜 李林 张翔 《昆明学院学报》 2010年第6期43-45,共3页
提出一种基于LUC公钥体制的分类多秘密共享方案,该方案使用各用户的私钥作为各自的秘密份额,秘密分发者不需要进行秘密份额的分配,整个系统不需要维护安全的信道,每个子组共享一个秘密,全体参与者共享一个总秘密,所有类型的秘密之和构... 提出一种基于LUC公钥体制的分类多秘密共享方案,该方案使用各用户的私钥作为各自的秘密份额,秘密分发者不需要进行秘密份额的分配,整个系统不需要维护安全的信道,每个子组共享一个秘密,全体参与者共享一个总秘密,所有类型的秘密之和构成核心秘密,该方案能够有效地保管多个秘密,并且实现了对多个秘密的分类管理,其安全性是基于LUC密码体制与Sham ir门限秘密方案的安全性. 展开更多
关键词 门限方案 LUC密码体制 分类多秘密共享
在线阅读 下载PDF
覆盖多播节点失效检测的分布式算法的改进 被引量:1
18
作者 陆正福 李敏 +1 位作者 何英 彭程 《昆明学院学报》 2009年第6期67-68,72,共3页
覆盖多播在端系统间构建数据分发树.由于端系统随意地加入或退出多播组,其可靠性不如路由器.当分发树中的非叶节点退出或者节点失效时,其下游节点将受到影响.低代价而快速的节点失效检测能降低由于服务间断所带来的影响,同时也为后续的... 覆盖多播在端系统间构建数据分发树.由于端系统随意地加入或退出多播组,其可靠性不如路由器.当分发树中的非叶节点退出或者节点失效时,其下游节点将受到影响.低代价而快速的节点失效检测能降低由于服务间断所带来的影响,同时也为后续的恢复工作提供一个良好的基础.在分析相关工作的基础上,提出了一种改进的节点失效检测机制,它能够兼顾节点失效检测时间和额外消息负载两个性能指标. 展开更多
关键词 覆盖多播 节点失效检测 分布式算法 心跳
在线阅读 下载PDF
基于J-Sim平台的应用层多播系统的仿真实验 被引量:1
19
作者 陆正福 苗广雁 《实验科学与技术》 2007年第2期29-33,共5页
以J-Sim为平台、以应用层多播系统为研究目标,给出了基于J-Sim的网络仿真实验过程。从方法学的角度看,该仿真对于应用层多播、覆盖网络等的实验研究有一定的指导意义,对于网络实验教学有一定的参考价值。
关键词 应用层多播 J—Sim软件 仿真
在线阅读 下载PDF
适用于覆盖多播的源认证方案的设计与分析 被引量:1
20
作者 陆正福 吴超云 《昆明学院学报》 2009年第3期74-76,共3页
源认证是多播安全与群组安全中的基本问题,覆盖多播是当前的研究热点.基于哈希链和层次传递的思路提出了一个针对覆盖多播的源认证方案(SASOM),对此方案的安全性和效率进行了分析.
关键词 覆盖多播 应用层多播 源认证 多播安全
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部