Confined-π演算中的等价关系及船舶安全信息流分析

摘要

在船舶信息安全流分析中,怎样建立合理的非干扰安全性是关键问题。本文通过对Confined-π演算的研究分析,利用Confined-π演算的互模拟等价关系构建船舶安全信息流的安全结构,并给出一种基于Confined-π演算的安全策略。