可追究性

作品数:27被引量:131H指数:6
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:卿斯汉周典萃周展飞王彩芬刘文琦更多>>
相关机构:中国科学院软件研究所贵州大学西南交通大学西安电子科技大学更多>>
相关期刊:《电子科技大学学报》《计算机工程与应用》《通信学报》《计算机应用与软件》更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划北京市自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=通信学报x
条 记 录,以下是1-1
视图:
排序:
网络支付协议的形式化安全需求及验证逻辑被引量:2
《通信学报》2004年第4期174-182,共9页刘怡文 李伟琴 
国家"863"高科技发展计划基金资助项目(863-306-ZT05-05-6)
从整个网络支付协议的安全角度出发,提出网络支付协议的多层安全需求模型,包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求(包括保密性、原子性、公平性、完整性、匿名性、不可否认性、可追究性等)、以及面向具体应...
关键词:电子商务协议 形式化验证 安全性 原子性 公平性 匿名性 可追究性 
检索报告 对象比较 聚类工具 使用帮助 返回顶部