排序方式: 共有61条查询结果,搜索用时 109 毫秒
1.
2.
3.
云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法,它具有十分简洁的推理规则和公理,为逻辑系统建立了用于推证合理性的理论模型.本文阐述云服务安全方案及其关键技术机制,并对其抽象建模,然后采用SVO逻辑对其安全性进行形式化分析,通过分析证明其安全性. 相似文献
4.
5.
代码风格检测分析器工作流模型 总被引:1,自引:0,他引:1
在分析好的代码风格对软件的开发、测试和维护具有重要意义的基础上,给出了一种代码风格检测工具的总体结构,介绍了其主要功能。重点分析了代码风格检测分析器的工作流模型,并对其工作流程进行了详细论述。利用该模型构建的代码风格检测工具已经得到了实际应用。 相似文献
6.
7.
下一代网络(NGN)将融合无线电话网和固定电话网,同时融合电路交换、包交换等各种交换方式,在NGN下可以快速有效地开发和部署电信新业务,是目前的研究热点.文中论述了Parlay API的体系结构和应用程序编程接口,在此基础上提出了基于Parlay API的NGN业务生成环境(SCE)的设计方案.该方案弥补了现有SCE在"厂商无关性"和"平台兼容性"方面存在的缺陷,使业务开发商能迅速高效地开发出个性化的电信业务. 相似文献
8.
9.
NGN(下一代网络)电信业务开发模型研究 总被引:2,自引:0,他引:2
提出了应用多视图的方法研究基于Web services的下一代网络(NGN:next generation network)电信业务的开发,并对下一代网络电信业务开发中的业务模式模型、开发模型和过渡模型进行了详细的介绍。 相似文献
10.
提出一种电信增值业务的框架模型,对其总体框架和集成模式进行了研究。以此模型为基础,开发设计了一套电话ICQ系统。 相似文献