基于改进UCONA的服务网格授权策略规范

来源 :华中科技大学学报(自然科学版) | 被引量 : 0次 | 上传用户:kangyue_1314
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对服务网格授权的新特点,对UCONA进行研究和改进.提出一套满足服务网格授权决策需求的策略规范,并证明其完备性和正确性.将原来简单的访问状态改进并扩充为委托凭证处理过程的状态组合.决策组件能根据访问请求时的系统状态输出合理的委托凭证,也能根据系统状态的变化进行再决策以转换委托凭证的处理状态.证明了新策略规范的完备性和正确性,并通过实例展示了它的表达能力.
其他文献
CTTA?OMT?傻傻分不清楚  前些日子,一位老友突然在微博上开喷,大致意思是某耳机厂商的产品听人声不清楚,虽然售价便宜,但基本的质量还是应该要保证。一时间,安慰者有之,声讨“无良奸商”者有之,场面热闹非凡。没想到事情在之后有了戏剧性的变化。首先,涉事耳机厂商的相关人员“战战兢兢”承认“错误”,接着又小心翼翼地提出,当前3.5mm耳机接口存在两种标准,是否是因为这个原因导致听音不正常。结果,老友
运用量子双波函数理论给出铁磁系统中介观畴壁的量子双波描述,在此基础上研究畴壁运动的坐标及动量的量子涨落,并对其进行讨论.
100年前,时年26岁且默默无闻的爱因斯坦,在1年时间里连续发表具有划时代意义的论文,从而彻底改变了传统物理学的面貌,并为造福后代的许多科学技术奠定了理论基础.为纪念他的
1999年9月~2002年9月我们应用得宝松(Diprospan,比利时先灵葆雅制药厂生产)皮损内注射治疗瘢痕疙瘩35例,取得了较好的疗效,现报道如下。