KAILAR逻辑

作品数：28被引量：62H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：高悦翔彭代渊石曙东李祥文静华更多>>
相关机构：贵州大学西南交通大学解放军信息工程大学四川师范大学更多>>
相关期刊：《电子科技大学学报》《计算机工程与应用》《计算机与信息技术》《软件学报》更多>>
相关基金：国家自然科学基金贵州省自然科学基金湖北省教育厅重点项目西北师范大学校科研和教改项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向现场支付的MCSP模式及其支付协议被引量：1
《小型微型计算机系统》2014年第10期2319-2324,共6页常朝稳 魏彦芬 王帅 
针对一机仿真多卡的应用需求,基于密码技术设计了一个面向现场模式、支持多卡仿真的NFC(Near Field Communication,近距离通信)智能手机移动支付安全模式MCSP(Multiple Cards on a Single Phone,一机多卡),并面向MCSP模式设计了一个安...
关键词：移动支付 NFC技术 支付协议 KAILAR逻辑 
一种新型的安全协议分析逻辑被引量：1
《小型微型计算机系统》2004年第12期2182-2185,共4页石曙东 李之棠 
国家 8 63课题 ( 863 -3 0 1-0 6-1)资助;湖北省教育厅重点项目 ( 2 0 0 4D0 0 4)资助
提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 。
关键词：KAILAR逻辑 电子商务 协议 协议分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部