形式化

热门搜索：fpga 51单片机 protel99se 机器人 linux 单片机 dsp arm Proteus matlab

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通 ...

/dl/210767.html

标签： 业务流程形式化设计验证限自动机模型检测线性时序逻辑

上传时间： 2022-09-08

上传用户：philis
1-多交互协议本体的描述

基于本体的共享与重用性以及谈判过程的动态性，提出谈判协议过程本体，将语义Web应用到自动谈判中，利用描述逻辑和本体编辑器Protégé 3.2.1对1-多交互协议本体进行形式化描述，并得到相应的OWL

/dl/201175.html

标签： 多交互协议本体

上传时间： 2021-01-01

上传用户：zzq834743788
安全协议的CSP描述技术

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论，并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷，重点研究如何在

/dl/202483.html

标签： NSPK

上传时间： 2021-01-13

上传用户：lanyin
基于属性的抗合谋攻击可变门限环签名方案

基于属性的密码体制是基于身份密码体制的泛化和发展,它将身份扩展为一系列属性的集合,具有更强的表达性,并且拥有相同属性的成员自动组成一个环,便于隐匿签名者身份。通过对现有的基于属性门限环签名方案的深入分析,发现这些方案虽然满足匿名性要求,但拥有互补属性的恶意用户可以通过合谋伪造出有效签名。为弥补上述缺陷,首 ...

/dl/207916.html

标签： 属性合谋攻击可变签名方案门限合谋攻击匿名性计算Diffie-Hellman难题

上传时间： 2021-10-04

上传用户：zuotzuot
基于Bayes决策的密码算法识别技术

在可执行代码中识别密码算法对于查找恶意代码、保护计算机系统安全有着重要的意义。该文在对汇编级密码算法特征分析的基础上，提出了汇编级密码算法特征度量元的概念，并采用七维特征向量对其进行形式化描述，建立基

/dl/209004.html

标签： Bayes 决策

上传时间： 2022-01-06

上传用户：lf243686002
基于信任指数的对抗web垃圾页面方案研究

本文首先提出链接分析法中存在的垃圾页面问题并将其形式化描述出来；再从两个角度分别介绍了挑选种子页面集的思想；然后在改进现有PageRank 算法的基础上提出了垃圾页面检测算法；同时给出了几个表

/dl/209526.html

标签： 信任

上传时间： 2022-02-24

上传用户：艾氏必
一个机器检测的Micro-Dalvik虚拟机模型

给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最后,以定理的形式描述了语义满足的性质,并得到证明.这个模型的指令 ...

/dl/211127.html

标签： 机器检测 micro 模型虚拟 dalvik式化验证定理证明寄存器架构的虚拟机

上传时间： 2022-09-11

上传用户：ziv
基于消息匹配的认证协议分析

为了有效地分析和验证认证协议的安全性，找出协议的漏洞，介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模，吸取模型检测的思想，分析攻击者可能扮演的角色以及协议的执行规则，在此基础上逐步给消

/dl/211327.html

标签： 匹配分析

上传时间： 2022-09-13

上传用户：堕落阿文