SEAL演算

作品数：5被引量：4H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郑晓娟金英金成植金龙飞刘磊更多>>
相关机构：吉林大学东北师范大学广西民族大学武汉大学更多>>
相关期刊：《吉林大学学报（信息科学版）》《计算机科学》《计算机学报》更多>>
相关基金：国家教育部博士点基金吉林省科技发展计划基金国家自然科学基金广西高校优秀人才计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Seal演算的分布式系统安全模型
《计算机科学》2015年第7期178-181,共4页黄勇 吴尽昭 
国家自然科学基金(11371003;11461006);广西自然科学基金(2011GXNSFA018154);广西高等学校优秀人才资助计划项目(桂教人[2011]40号);广西高校科学技术研究重点项目(2013ZD021);广西可信软件重点实验室开放课题(kx201122)资助
针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型Seal演算为工具,将系统安全属性的刻画归结为系统进程在给定计算环境下的位置互模拟等价,提出一种无干扰安全模型,其可以方便地刻画不同的安全性质。为满足...
关键词：分布式系统 SEAL演算 位置互模拟 安全模型 
Seal演算的偶图语义被引量：2
《计算机学报》2008年第3期522-528,共7页金龙飞 刘磊 
教育部高等学校博士学科点专项科研基金(20061083044);吉林省科技发展计划项目基金(20050527)资助
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一...
关键词：SEAL演算 偶图 偶图反应系统 结构对应 操作对应 
Seal演算的信息流分析系统
《吉林大学学报（信息科学版）》2006年第2期185-191,共7页郑晓娟 金英 金成植 
为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式。重...
关键词：SEAL演算 类型 移动代码 环境 自由名 
Seal演算与Boxed Ambient演算的关系分析被引量：2
《吉林大学学报（信息科学版）》2005年第4期423-428,共6页郑晓娟 金英 金成植 
研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义。本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。最后给出了Seal演算通信进程到...
关键词：SEAL演算 Ambient演算 通道 移动代码 
Seal演算的等式特性被引量：1
《吉林大学学报（信息科学版）》2003年第3期269-274,共6页郑晓娟 金英 金成植 
为完善Seal演算的自身性质及形式化证明移动代码的安全性,从上下文等价性角度研究了Seal演算的等式特性及其应用。首先定义了Seal演算的可观察性和上下文等价性,然后通过两个判断上下文等价性的定理给出了Seal演算上下文等价性的判定方...
关键词：SEAL演算 可观察性 上下文等价性 移动代码 防火墙 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部