论文部分内容阅读
针对服务网格授权的新特点,对UCONA进行研究和改进.提出一套满足服务网格授权决策需求的策略规范,并证明其完备性和正确性.将原来简单的访问状态改进并扩充为委托凭证处理过程的状态组合.决策组件能根据访问请求时的系统状态输出合理的委托凭证,也能根据系统状态的变化进行再决策以转换委托凭证的处理状态.证明了新策略规范的完备性和正确性,并通过实例展示了它的表达能力.