试论NPA和SVO计算模型的关联

导出

摘要我们介绍了一个密码协议的计算模型，它作为BAN家族、SVO中的逻辑语义，对于BAN家族和SVO这个逻辑是有效的。我们把自己的计算模型与另一个有联系的NRL协议分析顺进行了比较。通过说明如何把这些模型联系起来，我们提供了统一分析折基础，在统一分析中每一个分析工具都能发挥它们在单个模型背景下所能发挥的最大作用。

作者李亚敏

机构地区信息工程大学电子技术学院四系

出处《电脑应用技术》 2001年第51期13-17,共5页 Microcomputer Application Technology

关键词计算模型 BAN逻辑 SVO模型密码协议认知逻辑

分类号 TN918.2 [电子电信—通信与信息系统] TN915.04 [电子电信—信息与通信工程]

引文网络
相关文献

1NPA系列功放[J].电声技术,2012,36(2):90-90.
2胡筑华.HNPAC—中国第二个采用国产设备的省内公用分组交换网[J].世界电信,1993,6(4):3-5.
3何自强.NRL开发0.5-18GHzMMIC超外差接收机[J].电子战技术文选,1998(1):18-21.
4吴素丽,卢宁宁.基于聚合签名算法的DSR路由认证技术[J].无线电通信技术,2014,40(2):7-11.
5许剑卓,戴英侠,左英男.类BAN逻辑基本模型及缺陷[J].软件学报,2000,11(12):1660-1665. 被引量：5
6闻涛.国外经典名机剖析（九）：美国COUNTER POINT NPA功放[J].高保真音响,1997(9):22-23.
7唐曙晖,谷大武.移动通信系统中的用户认证和密钥协商协议[J].通信技术,2005,38(S1):146-149.
8刘丽峰.浅析电子商务支付协议认证性的SVO逻辑验证[J].电子测试,2015,26(11):146-147.
9卿斯汉.一种新型的非否认协议[J].软件学报,2000,11(10):1338-1343. 被引量：21
10姜田华.论时序电路的统一设计和统一分析[J].黑龙江商学院学报,1996,12(2):23-30.

电脑应用技术

2001年第51期

浏览历史

内容加载中请稍等...

试论NPA和SVO计算模型的关联

相关作者

相关机构

相关主题

浏览历史