Formal Reasoning About the Security of Amazon Web Services

机译：关于亚马逊网络服务安全的正式推理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Byron Cook;
展开▼
作者单位

展开▼
年度 2018
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. How Amazon Web Services uses formal methods [J] . Amos Olagunju Computing reviews . 2016,第2期

机译：Amazon Web Services如何使用正式方法
2. How Amazon Web Services Uses Formal Methods [J] . Newcombe Chris, Rath Tim, Zhang Fan, Communications of the ACM . 2015,第4期

机译：Amazon Web Services如何使用正式方法
3. Amazon Web Services Security Best Practices [J] . Vandana Premkumar, Vinil Bhandari International Journal of Computer Trends and Technology . 2021,第5期

机译：亚马逊Web服务安全最佳实践
4. Formal Reasoning About the Security of Amazon Web Services [C] . Byron Cook Federated logic conference;International conference on computer aided verification . 2018

机译：关于Amazon Web Services安全性的正式推理
5. Design, Prototype Implementation, and Comparison of Scalable Web-Push Architectures on Amazon Web Services Using the Actor Model [D] . Puripunpinyo, Hussachai. 2017

机译：使用Actor模型在Amazon Web Services上设计，原型实现和比较可扩展Web Push架构
6. Experiences Building Globus Genomics: A Next-Generation Sequencing Analysis Service using Galaxy Globus and Amazon Web Services [O] . Ravi K. Madduri, Dinanath Sulakhe, Lukasz Lacinski, -1

机译：构建Globus基因组学的经验：使用GalaxyGlobus和Amazon Web Services的下一代测序分析服务
7. Application of formal methods to the analysis of web services security [O] . Llanos Tobarra, Diego Cazorla, O Cuartero 2005

机译：正式方法在Web服务安全性分析中的应用
8. Interleaving Semantic Web Reasoning and Service Discovery to Enforce Context-Sensitive Security and Privacy Policies [R] . Rao, J. , Sadeh, N. 2005

机译：交错语义Web推理和服务发现以实施上下文敏感的安全和隐私策略

Formal Reasoning About the Security of Amazon Web Services

著录项

引文网络

相似文献

相关主题

期刊订阅