《表3 典型的变迁点火序列》
这个问题通过模型的状态空间图可以很容易地证明,但是由于状态空间图太大这里不容易说明问题,所以这里使用标识序列图来证明。一次典型的点火序列如表3所示。其中:第1~3步的作用是在RegisteredObject子页中注册客体;第4~5步变迁点火是在RegisteredSubject子页中注册主体;第6~14步变迁点火是在RequestAccess子页中实现的用户请求访问权限的过程;第15~19步变迁点火是在TransferAccess子页中传递token;第20~21步变迁点火是在AccessResources子页中使用token访问资源。
图表编号 | XD00133813200 严禁用于非法目的 |
---|---|
绘制时间 | 2020.04.10 |
作者 | 史锦山、李茹、松婷婷 |
绘制单位 | 内蒙古大学计算机学院、内蒙古自治区无线网络与移动计算重点实验室(内蒙古大学)、内蒙古大学计算机学院、内蒙古自治区无线网络与移动计算重点实验室(内蒙古大学)、内蒙古大学计算机学院、内蒙古自治区无线网络与移动计算重点实验室(内蒙古大学) |
更多格式 | 高清、无水印(增值服务) |