SEAL演算相关论文
为完善Seal演算的自身性质及形式化证明移动代码的安全性，提出了一个信息流分析系统，该系统经过seal进程的静态分析，检查出一些比较重......
针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型Seal演算为工具,将系统安全属性的刻画归结为系统进......
偶图反应系统是一种新的理论工具，其基础是一种强调位置和连接的移动计算图形化模型——偶图，偶图范化了”演算和移动Ambient演算的......
为完善Seal演算的自身性质及形式化证明移动代码的安全性,从上下文等价性角度研究了Seal演算的等式特性及其应用.首先定义了Seal演......
研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约......
