|
|||||
|
|
| Confined-π演算中的等价关系及船舶安全信息流分析 | |
| 作者单位： | ;1.石家庄信息工程职业学院软件工程系 |
| 摘 要： | 在船舶信息安全流分析中,怎样建立合理的非干扰安全性是关键问题。本文通过对Confined-π演算的研究分析,利用Confined-π演算的互模拟等价关系构建船舶安全信息流的安全结构,并给出一种基于Confined-π演算的安全策略。 |
| 关 键 词： | Confined-π 等价关系 安全信息流 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||
|
||||||||||||||
|
||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |