《表1 操作语义和安全属性》
Scyther使用SPDL[15]语言规定了一系列的操作语义和操作原语,基本的操作语义如表1所示。
图表编号 | XD0078281800 严禁用于非法目的 |
---|---|
绘制时间 | 2019.07.10 |
作者 | 田学成、徐英会 |
绘制单位 | 兰州理工大学计算机与通信学院、华北电力大学(保定)控制与计算机工程学院 |
更多格式 | 高清、无水印(增值服务) |
Scyther使用SPDL[15]语言规定了一系列的操作语义和操作原语,基本的操作语义如表1所示。
图表编号 | XD0078281800 严禁用于非法目的 |
---|---|
绘制时间 | 2019.07.10 |
作者 | 田学成、徐英会 |
绘制单位 | 兰州理工大学计算机与通信学院、华北电力大学(保定)控制与计算机工程学院 |
更多格式 | 高清、无水印(增值服务) |