收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘海华;廖秋萍;;基于兴趣点特征的多类物体识别[J];中南民族大学学报(自然科学版);2011年02期
2 林涛;张景祯;;建筑结构设计要点及计算模型调整[J];科技传播;2011年17期
3 薛振伟;;管理信息系统流程复杂度计算模型研究[J];测试技术学报;2011年04期
4 王宏宇;;Hadoop平台在云计算中的应用[J];软件;2011年04期
5 邹晓辉;邹顺鹏;;间接计算模型和间接形式化方法[J];软件;2011年05期
6 李珺;;基于Hadoop云计算模型探究[J];信息安全与技术;2011年06期
7 王宏生;张敏;;一种基于语义网的相似度计算模型[J];微计算机信息;2011年07期
8 徐胜超;;志愿者计算模型的研究进展[J];小型微型计算机系统;2011年08期
9 廖孝勇;孙棣华;周舒杰;田川;古曦;;混合浮动车交通状态估计的样本数量研究[J];计算机工程与应用;2011年24期
10 张海粟;张松林;陈桂生;;基于受限生成过程模型的计算涌现分析[J];计算机科学;2011年07期
11 黄小龙;;浅谈云计算技术在教育领域的应用[J];成功(教育);2011年08期
12 张晓东;张培林;傅建平;赵建新;;制退机节制环磨损机理及故障模型研究[J];计算机应用与软件;2011年07期
13 贺斌;;e-Learning情感计算模型设计研究[J];远程教育杂志;2011年04期
14 安永泉;赵剡;;红外成像制导中的气动热辐射效应机理[J];红外与激光工程;2011年07期
15 谢川;王方;;基于事件的物联网服务相似性检测[J];计算机应用;2011年08期
16 孙晓阳;赵宏钟;;天线远场散射特性计算模型的分析研究[J];雷达科学与技术;2011年04期
17 江学智;徐明伟;;可扩展路由器并行路由计算模型[J];清华大学学报(自然科学版);2011年07期
18 赵鸿燕;魏也纳;戴立乾;;第二次土地调查县级坡度分级图生成关键技术研究[J];测绘工程;2011年04期
19 王胜国;史建魁;王国军;王霄;谢志辉;陈光明;;海南地区电离层F2层底部厚度模型修正研究[J];电波科学学报;2011年03期
20 黄华;;云计算安全关键技术研究[J];电脑知识与技术;2011年23期
中国重要会议论文全文数据库 前10条
1 李亚敏;;试论NPA和SVO计算模型的关联[A];全国第十四届计算机科学及其在仪器仪表中的应用学术交流会论文集[C];2001年
2 宋柔;;自然语言处理中语言知识的基础性地位[A];民族语言文字信息技术研究——第十一届全国民族语言文字信息学术研讨会论文集[C];2007年
3 覃玉荣;赖声礼;;毫米波辐射对细胞膜电压变化的影响及其机理研究[A];2005'全国微波毫米波会议论文集(第二册)[C];2006年
4 卢镇;黄祥科;;浮筒充气量计算模型研究[A];中国航海学会救捞专业委员会99年优秀论文选[C];1999年
5 沈西林;杨保建;尹平;;公司代理人收入计算模型的研究[A];中国系统工程学会决策科学专业委员会第六届学术年会论文集[C];2005年
6 王航;;钢-混凝土组合梁无支架施工的模拟计算和处理[A];2006钢桥科技论坛全国学术会议论文集[C];2006年
7 李国翠;李国平;刘凤辉;苗志成;;华北地区地基GPS水汽反演中加权平均温度模型研究[A];中国气象学会2008年年会大气物理学分会场论文集[C];2008年
8 韩裕生;王润生;;航片中丘陵田的自动识别研究[A];1998年中国智能自动化学术会议论文集(下册)[C];1998年
9 刘民;叶旭初;杨学权;李祥东;;煤焦燃烧动力学的试验研究与通用计算模型[A];第六届全国新型干法水泥技术经验交流会论文汇编[C];2005年
10 王琳灵;何静;刘平;;石灰石煅烧分解率在线监测模型及其在石灰竖炉生产中的应用[A];2005全国有色金属自动化技术与应用学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 董亚非;若干DNA计算粘贴模型的研究[D];华中科技大学;2004年
2 王爱民;中高层密肋壁板结构密肋复合墙体受力性能及设计方法研究[D];西安建筑科技大学;2006年
3 覃玉荣;外电场作用下悬液中细胞膜电压变化建模研究[D];华南理工大学;2005年
4 洪锦祥;整体式桥台桥梁的简化计算模型与受力性能研究[D];福州大学;2006年
5 宋彬;政府教育绩效预算:理论模型、经验借鉴与实证分析[D];同济大学;2007年
6 刘建民;大型混凝土施工模板结构体系控制技术研究[D];西安建筑科技大学;2005年
7 任伯帜;城市设计暴雨及雨水径流计算模型研究[D];重庆大学;2004年
8 张浩;符合生理过程的松质骨骨质疏松计算模型研究及应用[D];吉林大学;2005年
9 管会生;土压平衡盾构机关键参数与力学行为的计算模型研究[D];西南交通大学;2008年
10 董春敏;不等肢配箍矩形截面框架柱斜向受剪承载力试验研究[D];天津大学;2007年
中国硕士学位论文全文数据库 前10条
1 康勇锋;能源型区域水环境容量理论与应用的研究[D];太原理工大学;2005年
2 陈通;主线分离式平面交叉通行能力研究[D];长安大学;2009年
3 何伟岗;基于HBase的多决策反馈式计算模型的研究与实现[D];西安电子科技大学;2012年
4 唐晓宁;稀土化合物热力学数据库计算研究[D];昆明理工大学;2005年
5 艾淼;膜计算模型中若干运算的研究及仿真实现[D];哈尔滨工业大学;2010年
6 袁和金;基于Java和XML的Intranet应用系统计算模型的研究[D];华北电力大学;2002年
7 陈会娟;热质作用下被动式太阳能建筑热性能的研究[D];大连理工大学;2006年
8 范永刚;面向集合的MapPartition计算模型的研究与实现[D];西安电子科技大学;2012年
9 陈朋成;黄河上游干流生态需水量研究[D];西安理工大学;2008年
10 张礼华;高固气比旋风器的冷模实验研究[D];西安建筑科技大学;2005年
中国重要报纸全文数据库 前10条
1 逸林;海量处理计算模型[N];中国计算机报;2001年
2 本报驻美国记者 毛黎;另辟蹊径“读”细胞[N];科技日报;2008年
3 钱程 张宏彪;某不规则多层住宅计算模型的技术处理[N];建筑时报;2003年
4 苏党;充满生机的CORO模式[N];中国石化报;2002年
5 李志国 张明若 张迎泽;公允计量对价修正计算模型[N];中国证券报;2005年
6 袁磊;两种成本计算模型 厘清IT预算管理[N];中国计算机报;2007年
7 本报记者 陈斌;石油HPC:寻找鱼和熊掌的平衡点[N];计算机世界;2008年
8 安世亚太 雷先华;某型战机RCS计算简报[N];中国航空报;2005年
9 刘恕;尽显科技魅力[N];中国安全生产报;2007年
10 中国电信股份有限公司北京研究院 杨明川 雷葆华;P2P融合CDN[N];通信产业报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978