算符优先 根据形式化算法
算符优先 根据形式化算法，编制程序实现一个算符优先分析器，能对常见的算术表达式语句进行分析。 要求实现以下功能： 1) 组织算术表达式的输入； 2) 组织算符优先关系表或者优先函数的输入； 3) 若输入的符号串是一个算术表达式语句，则输出一个分析树骨架（既每一步规约用到的最左素短语），否则输...
形式化技术资料
📦 资源总数：53
🔥 形式化热门资料
查看全部53个资源 »CORBA规范的形式化描述及分析
CO RBA为构建大规模分布式应用程序提供了一套公共对象服务规范，其规范主要以IDL语只提供对象的静态行为描述.提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析，结果表明扩展有色和动态行为....
密码协议形式化分析的计算合理性
基于Abadi-Rowgaway 的形式化加密的计算合理性定理，论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析，说明本文的定理对协议的可选择攻击具有较强的分析能力，论文...
隐标识身份认证方法及其形式化语义分析
针对用户身份标识在身份认证机制中的安全问题，提出一种隐藏身份标识的身分认证方案，用户毋需提交身份标识即可与服务器实现身份认证，并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明，该协议...
一种快速安全认证协议及其形式化分析
介绍了现有的常用身份认证方法，分析了其安全性和不足之处，针对安全性和效率问题，提出了一种可实现快速安全认证的一种新协议，并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率，结果证明该协...
📂 形式化资料分类