符号互模拟

作品数：3被引量：1H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄银强钟发荣李舟军杨军孟海涛更多>>
相关机构：浙江师范大学上海交通大学国防科学技术大学盐城工学院更多>>
相关期刊：《软件学报》《内江师范学院学报》《微电子学与计算机》更多>>
相关基金：浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种自动验证网络安全协议的互模拟方法被引量：1
《内江师范学院学报》2008年第12期56-58,共3页杨军 孟海涛 
为了解决进程接收具体信息的输入所带来的无穷种迁移问题,采用一种称为"符号化"的方法,提出了进程符号环境和符号化和格局标号迁移语义,为Spi演算设计了符号互模拟关系—符号Reded互模拟.结果表明:该符号互模拟关系对传统的互模拟关系...
关键词：密文通信协议 进程演算 符号互模拟 
非对称_(χ-)演算的符号互模拟验证算法
《微电子学与计算机》2006年第9期193-196,共4页黄银强 钟发荣 
浙江省自然科学基金项目(Y105272)
非对称χ-演算是一种移动计算模型。文介绍非对称χ-演算的语法和符号操作语义,给出非对称χ-演算的符号互模拟的验证算法,该算法根据算法输出的谓词等式系,求解最大符号解。并证明算法正确性,这在一定程度上为今后的自动机验证提供了...
关键词：进程代数 非对称X-演算 符号互模拟 符号迁移图 验证算法 
数据传送进程的符号互模拟
《软件学报》1995年第A01期1-9,共9页林惠民 
本文提出数据传送进程的符号迁移语义，引入符号互模拟的概念，证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟。我穷域上的数据传送进程的传统迁移图是无穷的而其中相当的一部分的符号迁移图是有穷的，文章的结果为在有穷时...
关键词：进程代数 数据传送进程 符号互模拟 程序 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部