关键词：亚马逊海外仓，美国海外仓
云服务的增长 - 通过互联网按需访问IT服务 - 已成为企业技术的最00大变革之一，但随之而来的是安全漏洞和其他网络犯罪活动的威胁。现在看来，云服务领域的一家领先公司正在寻找更多的方法来加倍努力并对抗后者。亚马逊的AWS一直在研究一系列新的基于加密和基于AI的工具，以帮助管理基于云的企业服务的安全性，目前，它拥有130多个具有加密技能的工程师空缺，可帮助构建和运行所有这些工具。
嘉瑞电商美国WAYLI团队美国真人测评师纯手工，留评率80%，美国海外仓退货换标一件代发服务。
这项工作的一个重要部分是AWS的一个部门，称为Automated Reasoning Group，该部门专注于识别安全问题并开发新工具，以便基于自动推理为AWS及其客户修复它们，自动推理是一个涵盖两者的人工智能分支。计算机科学和数学逻辑，旨在帮助计算机自动或几乎完全推理。
最00近，亚马逊已经注册了两个新商标，Quivela和SideTrail，两者都与ARG有关。
Quivela在其专利申请中被称为“用于加密协议规范和验证的计算机软件”，在AWS Labs的配置文件中还有一个Github存储库，它将其描述为“证明加密协议安全性的原型工具”，由AWS Automated开发推理组。 （ARG的使命还包括与社区分享代码和想法。）
SideTrail不在Github上，但是作为AWS Automated Reasoning Group的创始人兼董事的学者Byron Cook合着了一篇名为“SideTrail：验证密码系统的时间平衡”的研究论文。但是，链接到纸，描述这是什么，不再有效。
SideTrail的商标申请包括一长串潜在申请（商标申请经常这样做）。一般的想法是基于加密的安全服务。其中包括：“计算机软件，即用于监视，识别，跟踪，记录，分析，验证和分析密码系统的健康和安全性的软件;网络加密软件;计算机网络安全软件，“”通过互联网提供对托管操作系统和计算机应用程序的访问，“以及一小部分咨询潜力：”云计算领域的咨询;密码系统安全和加密领域的研究和开发;软件领域的研究与开发;信息技术领域的研究与发展;计算机系统分析。“
此外，在7月份，AWS的一位客户开始测试ARG开发的另外两种新的加密工具，用于改善组织的网络安全 - 使用最00初于8月（2017年）发布的工具。 Tiros和Zelkova，这两个工具被称为基于数学的技术，它们根据不同的设置不同地评估访问控制方案，安全配置和反馈，以帮助排除故障并证明跨存储（S3）存储桶的安全系统的有效性。
亚马逊尚未注册Tiros和Zelkova的商标。用于金融服务的Zelkova商标似乎在拉斯维加斯注册为名为“Zelkova Acquisition”的LLC，而Tiros没有列出有效商标。
亚马逊拒绝回答有关商标的问题。我们联系的一些与项目相关的人没有回复评论请求。
更一般地说，加密是IT服务安全的核心部分：亚马逊的自动推理小组自2014年以来一直在这个领域工作。但亚马逊现在似乎正在做更多工作，以增加其生产的工具，并考虑如何在更广泛的业务中应用它。快速浏览一下公司的空缺职位，可以看出亚马逊目前有132个开放空缺职位的人员。
“云是新计算机，地球是主板，数据中心是卡，”库克在最00近发表的一篇讲座中说道，他描述了AWS以及ARG为帮助AWS发展所做的工作。 “挑战在于，随着[AWS]的扩展，它需要变得更加安全...... AWS如何继续快速，安全地扩展？
嘉瑞电商美国WAYLI团队美国真人测评师纯手工，留评率80%，美国海外仓退货换标一件代发服务。
“AWS已经对我们的社区下了大赌注，”他继续说道，作为对这个问题的一个答案。这导致了集团在正式验证等领域的活动扩展，作为与客户合作并鼓励他们将更多数据迁移到云中的一种方式。
亚马逊也正在进行一些关键的收购，以建立其云安全足迹，例如Sqrrl和Harvest.ai，两家基于AI的安全初创公司，其创始团队碰巧曾在NSA工作过。
