没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
基于计算语义的安全协议验证逻辑
基于计算语义的安全协议验证逻辑
研究论文
0 下载量
123 浏览量
2021-02-11
09:50:41
上传
评论
收藏
560KB
PDF
举报
温馨提示
立即下载
基于计算语义的安全协议验证逻辑
资源推荐
资源评论
一种新的安全协议验证逻辑及其串空间语义 (2011年)
浏览:104
针对典型的安全协议验证逻辑存在的问题,如安全属性验证存在局限性、对混合密码原语的处理能力不强等,提出一种新的验证逻辑,新逻辑能够验证安全协议的认证性、密钥保密性、非否认性、可追究性、公平性及原子性。现有多数验证逻辑缺乏形式化语义,而逻辑语义能够证明逻辑系统的正确性,因此给出新逻辑所含逻辑构件的串空间语义,并应用串空间模型证明了新逻辑主要推理规则的正确性。
基于进程代数安全协议验证的研究综述
浏览:171
代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法 9描述了基于进 议验证研究的!种主要方法: 基于踪迹语义的方法; 基于互模拟验证的方法; 基于类型理论的方法; 基于 并给出了基于...
论文研究-包含协议和语义的构件一致性验证方法.pdf
浏览:96
构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件...
基于《知网》的词汇语义相似度计算
浏览:126
在基于实例的机器翻译中,词语相似度计算是一个重要的环节。不过,由于《知网》中对于一个词的语义采用的是一种多维的知识表示形式,这给词语相似度的计算带来了麻烦。这一点与WordNet和《同义词词林》不同。在...
基于语义相似度计算的词汇语义自动分类系统.pdf
浏览:127
基于语义相似度计算的词汇语义自动分类系统.pdf
论文研究-一种复合协议验证逻辑模型.pdf
浏览:103
针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议的秘密性和认证性进行建模,将协议复合分为并行复合和顺序复合,并提出相应的协议...
基于知网的词汇语义相似度计算方法研究_葛斌
浏览:90
基于知网的词汇语义相似度计算方法研究_葛斌
论文研究-基于协议语义序列的应用层交互行为异常检测.pdf
浏览:75
为了有效检测出应用层异常交互行为,提出了一种基于协议语义序列的检测方法。首先利用协议语义序列对应用层交互行为进行描述,并对存在的异常交互情形进行分析;然后提出基于协议语义序列的异常检测方法,利用报文的...
论文研究-基于生成图的体系结构动态行为语义一致性验证方法.pdf
浏览:131
论文研究-基于生成图的体系结构动态行为语义一致性验证方法.pdf, 针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为...
基于语义树的概念语义相似度计算方法研究
浏览:197
《语义树》——基于语义树的概念语义相似度计算方法研究。
改进的基于《知网》的词汇语义相似度计算
浏览:178
5星 · 资源好评率100%
基于知网的语义相似度计算改进算法,对语义研究有很大的帮助
基于深度学习的短文本语义相似度计算
浏览:112
4星 · 用户满意度95%
基于深度学习的短文本语义相似度计算,通过深度学习的思想计算语义相似度
论文研究-语义块的多元逻辑组合构成研究.pdf
浏览:69
利用HNC概念符号知识深入到词语的语义层面,从概念类别的内涵出发,结合概念间语义相关度计算方法以及少量句类知识对非特征语义块的多元逻辑组合的各种情况进行了初步分析。采取演绎和归纳的方法得到了关于语义块的...
一种基于描述逻辑的语义Web服务匹配方法.pdf
浏览:6
一种基于描述逻辑的语义Web服务匹配方法.pdf
基于lstm的语义相似度计算模型代码
浏览:17
3星 · 编辑精心推荐
基于lstm的语义相似度计算模型,使用百度qa的数据集进行实验。
论文研究-基于词汇语义信息的文本相似度计算.pdf
浏览:76
传统的文本相似度计算大多基于词匹配的方法,忽略了词汇语义信息,计算结果很大程度上取决于文本的词汇重复率。虽然分布式词向量可以有效表达词汇语义关系,但目前基于词向量的文本处理方法大多通过词汇串联等形式...
基于残差语义强化的垃圾分类python源码(含垃圾数据集).zip
浏览:165
基于残差语义强化的垃圾分类python源码(含垃圾数据集).zip基于残差语义强化的垃圾分类python源码(含垃圾数据集).zip基于残差语义强化的垃圾分类python源码(含垃圾数据集).zip基于残差语义强化的垃圾分类python源码...
基于计算解语义的逻辑程序测试和调试框架
浏览:124
逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互。...然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用。
行人惯性导航零速检测算法
浏览:92
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:85
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:46
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
BA无标度网络中的SIR模型
浏览:80
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:185
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:194
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:80
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览:41
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览:39
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览:38
基于BP神经网络的人口预测
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
NEDL003
粉丝: 160
资源:
978
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
MacDrive11.1.0.26Setup.zip
ztncui 0.8.6 deb安装包
MVIMG_20240615_173351.jpg
C#/.net 多线程pdf详解
Protues电池保护芯片FS8205AMDF模型
btstack协议栈实战篇-SPP Server - Heartbeat Counter over RFCOMM
Protues模拟仿真电池保护芯片DW01MDF模型
SDP零信任与AI结合思考
SQL2008R2简版数据库一键安装包
Screenshot_2024-06-15-17-09-30-719_com.tencent.mobileqq.jpg
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功