《表1 基本谓词定义：云计算网络中基于隔离边界的安全审计体系研究》
提示：宽带有限、当前游客访问压缩模式
约束分析的目标是在建立模型前，检测是否存在违背约束条件的配置。本文使用谓词表示法，根据采集的网络配置数据，建立个体之间的关系。研究中定义的基本状态谓词见表1。
| 图表编号 | XD0050505600 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2019.05.01 |
| 作者 | 葛思江、王利明、李兆璨、马多贺 |
| 绘制单位 | 中国科学院信息工程研究所、中国科学院大学网络空间安全学院、中国科学院信息工程研究所、中国科学院信息工程研究所、中国海洋大学信息科学与工程学院、中国科学院信息工程研究所 |
| 更多格式 | 高清、无水印（增值服务） |
