SVO逻辑

作品数：46被引量：99H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黎波涛罗军舟陈明汪学明陈立云更多>>
相关机构：贵州大学解放军信息工程大学东南大学重庆大学更多>>
相关期刊：《计算机应用》《哈尔滨工程大学学报》《计算机学报》《系统工程与电子技术》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划江苏省高技术研究计划项目国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于可信计算的企业云签证协议设计与证明
《计算机应用研究》2020年第7期2126-2131,共6页孙浩男 鹤荣育 
国家自然科学基金资助项目。
为解决当前企业云内部部门之间通信时缺乏身份认证的问题,提出基于可信计算的企业云签证方法与协议,并对其进行证明和分析。在可信云v TPM架构基础上,通过设计v AIK签证协议,建立v TPM与企业云部门终端之间的身份对应关系并保证了v TPM...
关键词：签证协议 可信云 企业云 远程证明 SVO逻辑 
适用于无线体域网的动态口令认证协议被引量：4
《计算机工程与应用》2020年第14期68-73,共6页杜梦瑶 王峥 李娜 强彦 
国家自然科学基金(No.61872261)。
无线体域网中传输的是与生命高度相关的敏感数据,身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题,基于传统密码学的认证方案需较大计算资源和能量消耗,并不适用...
关键词：无线体域网 认证协议 动态口令 非对称加密 SVO逻辑 SPIN 
轻量级移动支付协议LMPP的安全性分析与改进被引量：1
《计算机工程与应用》2019年第16期88-93,122,共7页杨文霞 王峥 李娜 马建芬 
山西省重点研发计划国际合作项目(No.201603D421013)
无线网络以及各种智能设备的兴起,使得移动支付越来越重要,因此必须采用安全的轻量级移动支付协议(Lightweight Mobile Payment Protocol,LMPP)来保障移动支付的顺利进行。针对资源有限的移动设备及环境受限的支付场景,选取以移动运营商...
关键词：轻量级移动支付协议(LMPP) 移动运营商(MNO) SVO逻辑 公平性 SPIN 
北斗战场通信网络身份认证方法被引量：8
《现代防御技术》2019年第3期99-105,共7页赵东昊 卢昱 王增光 
为了提高战场通信网络的安全性,基于北斗卫星导航系统(“BeiDou” navigation satellite system,BDS)所提供的高质量的定位、授时以及短报文通信功能,提出了一种基于“北斗”的战场通信网络身份认证方案。该方案利用“北斗”高精度的授...
关键词：北斗卫星导航系统 时间戳值 位置信息 战场移动终端 身份认证 SVO逻辑 
适用于多密级环境的移动存储设备互认证与密钥协商协议被引量：2
《计算机应用研究》2019年第4期1115-1119,共5页冯力 郁滨 龚碧 周伟伟 
国防重点实验室开放基金资助项目(KJ-14-103)
针对多密级环境特点,提出一个能够离线认证、可识别密级的移动存储设备、主机终端互认证与密钥协商协议。协议基于TTP(trusted third party)的数字签名不可伪造特性和计算离散对数问题(discrete logarithm problem,DLP)的困难性,通过验...
关键词：互认证 移动存储设备 多密级 SVO逻辑 
基于北斗的军事物联网身份认证方案研究被引量：4
《计算机应用研究》2018年第8期2431-2434,共4页李昊鹏 陈立云 卢昱 
国家社会科学基金军事学资助项目
为解决物联网的安全漏洞凸显的问题,从军事物联网的高安全需求和节点终端负载能力考虑,提出了一种适用于军事物联网的身份认证方案。在优化一次性口令认证方案的基础上,通过北斗导航系统的授时、定位功能获得时间戳和位置坐标信息作为...
关键词：军事物联网 身份认证 北斗导航系统 SVO逻辑 
一种可靠的多方不可否认协议的逻辑分析方法被引量：2
《计算机科学》2018年第7期143-149,共7页苑博奥 刘军 
多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,...
关键词：多方不可否认协议 SVO逻辑 时限性 公平性 
一种新的复合型电子支付协议及其形式化分析
《计算机应用与软件》2018年第6期319-324,共6页丁月 汪学明 
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议。新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第三方信息的转发进一步...
关键词：复合型电子支付协议 双向认证 SVO逻辑 KAILAR逻辑 形式化分析 
基于OTP的WiFi身份认证模型的设计及分析被引量：3
《测控技术》2016年第7期98-101,共4页王增光 陈立云 卢昱 
国家自然科学基金(61271152)
身份认证问题成为制约无线网络发展的瓶颈。一次性口令(OTP)技术和椭圆曲线密码体制由于自身优点,比较适合无线环境中的身份认证。利用椭圆曲线密码体制(ECC)实现数字签名,基于一次性口令技术提出了一种安全的双向身份认证模型。最后,...
关键词：无线网络 一次性口令(OTP) 椭圆曲线密码体制 SVO逻辑 
基于身份的认证密钥协商协议的改进被引量：2
《计算机应用与软件》2016年第2期284-289,共6页陈虹 徐嘉鸿 肖振久 
国家自然科学基金项目(61103199)
针对已有的基于身份的认证密钥协商协议存在的安全问题,提出一种改进的基于身份的认证密钥协商协议。该协议采用双线性对运算方法,用户双方的临时和长期私钥结合进行最终会话密钥的计算,解决了原协议中存在的PKG前向安全性问题、单一依...
关键词：基于身份的认证 密钥协商 双线性对SVO逻辑 形式化验证 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部