排序方式: 共有69条查询结果,搜索用时 15 毫秒
1.
据有关文献报道,美国科学设计有限公司、日本催化剂化学工业有限公司和美国壳牌发展公司,介绍了几种环氧乙烷和乙二醇的典型流程,现依文献发表的先后顺序,摘译如后。 相似文献
2.
3.
云计算环境下取证技术研究 总被引:2,自引:0,他引:2
云计算的快速发展,不仅带来了巨大的经济收益,同时还伴随着大量的犯罪活动。这对电子取证专业人员带了巨大的挑战。文章针对云取证遇到的问题和取证技术进行研究,首先分析了云计算环境下的安全风险、取证面临的问题和电子数据的来源,然后给出云取证流程,最后从法律和技术两个方面探讨了云取证。 相似文献
4.
云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法,它具有十分简洁的推理规则和公理,为逻辑系统建立了用于推证合理性的理论模型.本文阐述云服务安全方案及其关键技术机制,并对其抽象建模,然后采用SVO逻辑对其安全性进行形式化分析,通过分析证明其安全性. 相似文献
5.
根据反汇编器原理,分析现有的花指令加密算法存在的问题,提出了一种新的花指令加密算法——子程序花指令加密算法。详细论述了子程序花指令加密的工作流程和算法描述,分析了此算法的有效性和逻辑一致性。最后,通过算法的具体实现,对其有效性和逻辑一致性进行了验证。 相似文献
6.
7.
代码风格检测分析器工作流模型 总被引:1,自引:0,他引:1
在分析好的代码风格对软件的开发、测试和维护具有重要意义的基础上,给出了一种代码风格检测工具的总体结构,介绍了其主要功能。重点分析了代码风格检测分析器的工作流模型,并对其工作流程进行了详细论述。利用该模型构建的代码风格检测工具已经得到了实际应用。 相似文献
8.
提出一种电信增值业务的框架模型,对其总体框架和集成模式进行了研究。以此模型为基础,开发设计了一套电话ICQ系统。 相似文献
10.