自動化推理是可證明安全性的核心。通過考慮各種可能的應(yīng)用執(zhí)行、請求和配置，自動化推理可以提前預(yù)判出系統(tǒng)的可能操作，并提供高級別的安全保證。例如，自動化推理工具可以分析策略和網(wǎng)絡(luò)配置，證明沒有潛在的安全威脅?？蛻舨捎眠@種前沿技術(shù)，可以不斷地自動化、簡化云上安全路徑，持續(xù)解決軟件系統(tǒng)演變過程中可能出現(xiàn)的意外風險。

亞馬遜云科技運行著數(shù)以十萬計的客戶關(guān)鍵任務(wù)工作負載，將該技術(shù)廣泛應(yīng)用于存儲、網(wǎng)絡(luò)、虛擬化和加密等關(guān)鍵領(lǐng)域來提升安全性，也是首家規(guī)?；褂米詣踊评淼脑品?wù)提供商。客戶廣泛使用的諸多重點服務(wù)如身份與訪問管理服務(wù)Amazon Identity and Access Management (IAM)，對象存儲服務(wù)Amazon Simple Storage Service (S3)，Amazon Virtual Public Cloud (VPC)等都用到了這一技術(shù)。這一技術(shù)的應(yīng)用使得政府機構(gòu)、醫(yī)療和金融服務(wù)等被高度監(jiān)管的行業(yè)客戶，正在用與過去完全不同的方式在云上更安全的運行業(yè)務(wù)。

亞馬遜云科技開發(fā)了多種自動化推理工具幫助客戶實現(xiàn)應(yīng)用的可證明安全性。其中一個工具可以大規(guī)模地分析訪問控制策略，為 Amazon IAM Access Analyzer、Amazon S3 Block Public Access等服務(wù)提供功能支持。這些功能確保 "不受限制的公開訪問"的不被授權(quán)，使客戶能夠迅速識別對其云資源的越權(quán)訪問，并加以補救。另一個工具可以在幾秒之內(nèi)檢查所有網(wǎng)絡(luò)路徑，并為Amazon VPC Reachability Analyzer以及 Amazon Inspector等服務(wù)提供支持，幫助客戶了解其使用的亞馬遜云科技網(wǎng)絡(luò)的安全與合規(guī)，并采取行動加以改善。

攜手共同實現(xiàn)安全性

客戶不需要成為安全專家或是數(shù)學(xué)家就能實現(xiàn)其軟件的完整性，并管理其關(guān)鍵基礎(chǔ)設(shè)施。事實上，作為一名科學(xué)家，我之所以研究、設(shè)計、構(gòu)建和實施可證明安全性工具來確保持續(xù)的云安全，就是為了讓企業(yè)可以將更多精力放在業(yè)務(wù)擴展和轉(zhuǎn)型上。

借助亞馬遜云科技，企業(yè)無需管理繁重的底層工作以及預(yù)付費用，就可以借助如機器學(xué)習(xí)、物聯(lián)網(wǎng)、數(shù)據(jù)湖、數(shù)據(jù)分析等復(fù)雜技術(shù)完成企業(yè)的重要任務(wù)。這樣客戶就可以做真正重要的事情——快速、靈活和大規(guī)模地進行業(yè)務(wù)創(chuàng)新。

讓自動化成為標準

可證明安全性還處于早期發(fā)展階段。盡管自動化推理只在最近才得以實際應(yīng)用，亞馬遜云科技正在努力使此項技術(shù)變?yōu)槿粘９こ虡藴剩瑏頌榭蛻魟?chuàng)造功能更為強大的、易用的工具。

了解更多關(guān)于亞馬遜云科技的可證明安全性，請點擊。