安全是所有企業(yè)的重中之重。無(wú)論是改善安全狀況，實(shí)施全面合規控制，還是讓員工安全地在家辦公，企業(yè)都需要有可靠的系統作為支撐。但是，隨著(zhù)企業(yè)系統規模的空前壯大，合規要求也日益變得更復雜，企業(yè)需要新的解決方案。
在基礎設施安全方面，企業(yè)希望有確鑿的證據和方法來(lái)確定其訪(fǎng)問(wèn)管理、網(wǎng)絡(luò )基礎設施和應用程序的安全能夠無(wú)懈可擊。云計算通過(guò)聯(lián)網(wǎng)方式為企業(yè)按需提供 IT 資源，其好處之一就是使企業(yè)能夠利用原來(lái)無(wú)法在本地獲得的現代化技術(shù)來(lái)更有信心地保護其基礎設施的安全。
其中一種現代化的方法就是可證明的安全性，它通過(guò)數學(xué)證明來(lái)驗證系統是否正確運行。對擁有成千上萬(wàn)資源的大型企業(yè)，如果通過(guò)手動(dòng)評估不同場(chǎng)景中的每一項數據路徑及相關(guān)的控制，來(lái)證明系統運行的正確性和安全性，通常需要花費數月乃至數年的時(shí)間。而且在這個(gè)評估期間，系統本身還在不斷變化和演進(jìn)。借助自動(dòng)化推理這一新興技術(shù)，這樣的工作可以在數秒內完成。
通過(guò)可證明安全性實(shí)現規模化安全
自動(dòng)化推理是可證明安全性的核心。通過(guò)考慮各種可能的應用執行、請求和配置，自動(dòng)化推理可以提前預判出系統的可能操作，并提供高級別的安全保證。例如，自動(dòng)化推理工具可以分析策略和網(wǎng)絡(luò )配置，證明沒(méi)有潛在的安全威脅。客戶(hù)采用這種前沿技術(shù)，可以不斷地自動(dòng)化、簡(jiǎn)化云上安全路徑，持續解決軟件系統演變過(guò)程中可能出現的意外風(fēng)險。
亞馬遜云科技運行著(zhù)數以十萬(wàn)計的客戶(hù)關(guān)鍵任務(wù)工作負載，將該技術(shù)廣泛應用于存儲、網(wǎng)絡(luò )、虛擬化和加密等關(guān)鍵領(lǐng)域來(lái)提升安全性，也是首家規模化使用自動(dòng)化推理的云服務(wù)提供商。客戶(hù)廣泛使用的諸多重點(diǎn)服務(wù)如身份與訪(fǎng)問(wèn)管理服務(wù)Amazon Identity and Access Management (IAM)，對象存儲服務(wù)Amazon Simple Storage Service (S3)，Amazon Virtual Public Cloud (VPC)等都用到了這一技術(shù)。這一技術(shù)的應用使得政府機構、醫療和金融服務(wù)等被高度監管的行業(yè)客戶(hù)，正在用與過(guò)去完全不同的方式在云上更安全的運行業(yè)務(wù)。
亞馬遜云科技開(kāi)發(fā)了多種自動(dòng)化推理工具幫助客戶(hù)實(shí)現應用的可證明安全性。其中一個(gè)工具可以大規模地分析訪(fǎng)問(wèn)控制策略，為 Amazon IAM Access Analyzer、Amazon S3 Block Public Access等服務(wù)提供功能支持。這些功能確保 "不受限制的公開(kāi)訪(fǎng)問(wèn)"的不被授權，使客戶(hù)能夠迅速識別對其云資源的越權訪(fǎng)問(wèn)，并加以補救。另一個(gè)工具可以在幾秒之內檢查所有網(wǎng)絡(luò )路徑，并為Amazon VPC Reachability Analyzer以及 Amazon Inspector等服務(wù)提供支持，幫助客戶(hù)了解其使用的亞馬遜云科技網(wǎng)絡(luò )的安全與合規，并采取行動(dòng)加以改善。
攜手共同實(shí)現安全性
客戶(hù)不需要成為安全專(zhuān)家或是數學(xué)家就能實(shí)現其軟件的完整性，并管理其關(guān)鍵基礎設施。事實(shí)上，作為一名科學(xué)家，我之所以研究、設計、構建和實(shí)施可證明安全性工具來(lái)確保持續的云安全，就是為了讓企業(yè)可以將更多精力放在業(yè)務(wù)擴展和轉型上。
借助亞馬遜云科技，企業(yè)無(wú)需管理繁重的底層工作以及預付費用，就可以借助如機器學(xué)習、物聯(lián)網(wǎng)、數據湖、數據分析等復雜技術(shù)完成企業(yè)的重要任務(wù)。這樣客戶(hù)就可以做真正重要的事情——快速、靈活和大規模地進(jìn)行業(yè)務(wù)創(chuàng )新。
讓自動(dòng)化成為標準
可證明安全性還處于早期發(fā)展階段。盡管自動(dòng)化推理只在最近才得以實(shí)際應用，亞馬遜云科技正在努力使此項技術(shù)變?yōu)槿粘９こ虡藴剩瑏?lái)為客戶(hù)創(chuàng )造功能更為強大的、易用的工具。
了解更多關(guān)于亞馬遜云科技的可證明安全性，請點(diǎn)擊。
關(guān)于亞馬遜云科技
超過(guò)15年以來(lái)，亞馬遜云科技 （Amazon Web Services）一直以技術(shù)創(chuàng )新、服務(wù)豐富、應用廣泛而享譽(yù)業(yè)界。亞馬遜云科技一直不斷擴展其服務(wù)組合以支持幾乎云上任意工作負載，目前提供超過(guò)200項全功能的服務(wù)，涵蓋計算、存儲、數據庫、網(wǎng)絡(luò )、數據分析、機器學(xué)習與人工智能、物聯(lián)網(wǎng)、移動(dòng)、安全、混合云、虛擬現實(shí)與增強現實(shí)、媒體，以及應用開(kāi)發(fā)、部署與管理等方面；基礎設施遍及27個(gè)地理區域的87個(gè)可用區，并已公布計劃在澳大利亞、加拿大、印度、以色列、新西蘭、西班牙、瑞士和泰國新建8個(gè)區域、24個(gè)可用區。全球數百萬(wàn)客戶(hù)，包括發(fā)展迅速的初創(chuàng )公司、大型企業(yè)和領(lǐng)先的政府機構，都信賴(lài)亞馬遜云科技，通過(guò)亞馬遜云科技的服務(wù)支撐其基礎設施，提高敏捷性，降低成本。要了解更多關(guān)于亞馬遜云科技的信息，請訪(fǎng)問(wèn)：www.amazonaws.cn
