全球视讯!亚马逊云科技专家视点:现代化应用的安全可证明性——构建最高标准云安全的必由之路
安全是所有企业的重中之重。无论是改善安全状况,实施全面合规控制,还是让员工安全地在家办公,企业都需要有可靠的系统作为支撑。但是,随着企业系统规模的空前壮大,合规要求也日益变得更复杂,企业需要新的解决方案。
在基础设施安全方面,企业希望有确凿的证据和方法来确定其访问管理、网络基础设施和应用程序的安全能够无懈可击。云计算通过联网方式为企业按需提供 IT 资源,其好处之一就是使企业能够利用原来无法在本地获得的现代化技术来更有信心地保护其基础设施的安全。
(资料图片仅供参考)
其中一种现代化的方法就是可证明的安全性,它通过数学证明来验证系统是否正确运行。对拥有成千上万资源的大型企业,如果通过手动评估不同场景中的每一项数据路径及相关的控制,来证明系统运行的正确性和安全性,通常需要花费数月乃至数年的时间。而且在这个评估期间,系统本身还在不断变化和演进。借助自动化推理这一新兴技术,这样的工作可以在数秒内完成。
通过可证明安全性实现规模化安全
自动化推理是可证明安全性的核心。通过考虑各种可能的应用执行、请求和配置,自动化推理可以提前预判出系统的可能操作,并提供高级别的安全保证。例如,自动化推理工具可以分析策略和网络配置,证明没有潜在的安全威胁。客户采用这种前沿技术,可以不断地自动化、简化云上安全路径,持续解决软件系统演变过程中可能出现的意外风险。
亚马逊云科技运行着数以十万计的客户关键任务工作负载,将该技术广泛应用于存储、网络、虚拟化和加密等关键领域来提升安全性,也是首家规模化使用自动化推理的云服务提供商。客户广泛使用的诸多重点服务如身份与访问管理服务Amazon Identity and Access Management (IAM),对象存储服务Amazon Simple Storage Service (S3),Amazon Virtual Public Cloud (VPC)等都用到了这一技术。这一技术的应用使得政府机构、医疗和金融服务等被高度监管的行业客户,正在用与过去完全不同的方式在云上更安全的运行业务。
亚马逊云科技开发了多种自动化推理工具帮助客户实现应用的可证明安全性。其中一个工具可以大规模地分析访问控制策略,为Amazon IAM Access Analyzer、Amazon S3 Block Public Access等服务提供功能支持。这些功能确保“不受限制的公开访问”的不被授权,使客户能够迅速识别对其云资源的越权访问,并加以补救。另一个工具可以在几秒之内检查所有网络路径,并为Amazon VPC Reachability Analyzer以及Amazon Inspector等服务提供支持,帮助客户了解其使用的亚马逊云科技网络的安全与合规,并采取行动加以改善。
携手共同实现安全性
客户不需要成为安全专家或是数学家就能实现其软件的完整性,并管理其关键基础设施。事实上,作为一名科学家,我之所以研究、设计、构建和实施可证明安全性工具来确保持续的云安全,就是为了让企业可以将更多精力放在业务扩展和转型上。
借助亚马逊云科技,企业无需管理繁重的底层工作以及预付费用,就可以借助如机器学习、物联网、数据湖、数据分析等复杂技术完成企业的重要任务。这样客户就可以做真正重要的事情——快速、灵活和大规模地进行业务创新。
让自动化成为标准
可证明安全性还处于早期发展阶段。尽管自动化推理只在最近才得以实际应用,亚马逊云科技正在努力使此项技术变为日常工程标准,来为客户创造功能更为强大的、易用的工具。
相关阅读
-
全球视讯!亚马逊云科技专家视点:现代...
安全是所有企业的重中之重。无论是改善安全状况,实施全面合规控制... -
Redmi投影仪Pro评测 体验媲美高端千元...
一、前言:Redmi推出首款投影仪 主打极致性价比目前的智能投影仪技... -
RTX4090连烧5起 NVIDIA高度重视
万万没想到,RTX 4090正式上市不过两周时间,首批用户们已经报告了... -
已有5张RTX 4090先后烧毁 问题到底出在哪?
RTX 4090正式上市才两周时间,用户公开报告的自燃烧毁案例已经多达... -
NVIDIA发布两款新卡 一个升一个降
AIC厂商陆续上架多日之后,NVIDIA今天终于正式发布了两款新卡。其一... -
Canalys:OPPO第三季度稳居国内前二,潘...
2022年10月27日,据Canalys统计数据显示,2022年三季度中国智能手机...
精彩推送
-
全球视讯!亚马逊云科技专家视点:现代...
安全是所有企业的重中之重。无论是改善安全状况,实施全面合规控制... -
Redmi投影仪Pro评测 体验媲美高端千元...
一、前言:Redmi推出首款投影仪 主打极致性价比目前的智能投影仪技... -
RTX4090连烧5起 NVIDIA高度重视
万万没想到,RTX 4090正式上市不过两周时间,首批用户们已经报告了... -
已有5张RTX 4090先后烧毁 问题到底出在哪?
RTX 4090正式上市才两周时间,用户公开报告的自燃烧毁案例已经多达... -
NVIDIA发布两款新卡 一个升一个降
AIC厂商陆续上架多日之后,NVIDIA今天终于正式发布了两款新卡。其一... -
百亿收购自研CPU被ARM起诉 高通称没有...
为了自研高性能CPU,高通公司此前斥资14亿美元收购Nuvia,没想到这... -
Canalys:OPPO第三季度稳居国内前二,潘...
2022年10月27日,据Canalys统计数据显示,2022年三季度中国智能手机... -
全球聚焦:Semtech PerSe以智能人体感...
针对可穿戴市场发展趋势,全球领先的高性能模拟和混合信号半导体产... -
天天看点:我国医疗行业创新不断老龄化...
数字经济的高速发展促使行业资源配置方式逐渐由要素驱动型向科技创... -
星纵物联获“技术先进型服务企业”荣誉
近日,根据《厦门市技术先进型服务企业认定管理办法》(厦科联〔201... -
焦点关注:颠覆现有的医疗保障体系则需...
颠覆现有的医疗保障体系,则需要建立数字信息化时代,实现数字化转... -
数字化医院工程有助于医院实现资源整合...
数字化浪潮已然到来。而今年新冠肺炎疫情的爆发,进一步加速了数字... -
【天天速看料】第十七届全国大学生智能...
第十七届全国大学生智能车竞赛全国总决赛将于8月20日至22日在南京信... -
世界关注:浅析物联网行业给我们所呈现...
物联网,也被称为“第五次工业革命”,是继互联网之后,物联网领域... -
未来10年,物联网的黄金机会在哪里?
由政府主导的“新基建”、“碳达峰、碳中和”、“智慧城市”、“城... -
在北京现场调试的这几天
大家好,我是肖遥,最近真真真的是太忙了,差不多几个月的时间都是... -
快看点丨第十七届全国大学生智能汽车竞...
2022年第十七届全国大学生智能车竞赛—讯飞创意组别。有来自于94所... -
车险怎么买划算?车险划算的买法是什么?
车险怎么买划算?四大汽车保险(汽车损失险、第三方责任险、车载人员... -
刹车失灵的处理方法有哪些?刹车失灵怎...
刹车失灵的处理方法有哪些?1 制动系统缺乏日常维护,制动总泵密封... -
30万左右的车有哪些?30万左右这五款低...
30万左右的车有哪些?1 雷克萨斯ES:价格区间:2790-4670万。内饰:新... -
汽车过户需要多少钱?办理汽车过户需要...
汽车过户需要多少钱?汽车过户费主要按排量、年份进行收取,根据轿车... -
福特猛禽f750配置参数怎么样?f750猛禽和...
福特猛禽f750配置参数怎么样?1、福特F750皮卡,巨大的家伙,其实很... -
十大最静音的轮胎排名是什么?优科豪马...
十大最静音的轮胎排名是什么?1、米其林在米其林各轮胎系列产品中,P... -
blackhawk是什么牌子的轮胎?blackhawk什么意思?
blackhawk是什么牌子的轮胎?blackhawk是黑鹰牌子的轮胎,汽车采用该... -
venza是丰田什么车? venza威飒多少钱 ?
venza是丰田什么车?这款车的中文名字叫萨维,是丰田旗下的一款商务... -
大众跑车有哪些?大众旗下的超跑你确定...
大众跑车有哪些?大众W12、大众EOS、大众尚酷大众旗下的超跑你确定见... -
zdx是什么车?讴歌zdx发动机排量多大?
zdx是什么车?zdx是讴歌ZDX,定位于运动型多功能跑车,与宝马X6同属... -
二手车过户需要多少钱?机动车过户需要...
二手车过户需要多少钱?二手车过户费一般200—800元之间,二手车过户... -
什么是防撞梁?防撞梁更换算不算事故车?
什么是防撞梁?防撞梁是用来减轻车辆受到震动力的一种装置,它的两端... -
什么是桩考?桩考的注意事项和要领有哪些?
什么是桩考?桩考也叫倒桩、倒库、移库和倒杆。它是科目二中的必考项... -
HANKOOK韩泰轮胎质量怎么样?韩泰k415轮...
HANKOOK韩泰轮胎质量怎么样?韩泰轮胎总体来说质量还可以,属于经济... -
一汽大众5万至8万小车有哪几款?一汽大...
一汽大众5万至8万小车有哪几款?一汽大众5万到8万的车有捷达(7 99-1... -
如何升级车上的导航?车导航的升级方法...
如何升级车上的导航?将U盘插在车子的数据口,自豪版在中控下面有2个... -
7万左右性价比高的车排行榜是什么?7万...
7万左右的车排行榜是什么?奇瑞艾瑞泽5 PRO不到7万想买轿车,能买的... -
什么是汽车尾翼?为什么要设置汽车尾翼?
什么是汽车尾翼?汽车尾翼是指汽车行李箱盖上,后端所装形式鸭尾的突... -
机动车选号技巧是什么?什么样的车牌号...
机动车选号技巧是什么?一、机动车选号技巧拿起你的笔和纸,把你心仪... -
什么是洗车液?洗车液和洗车水蜡的区别...
什么是洗车液?洗车液的主要清洗成分都是天然植物提取的表面活性剂,... -
天天热点评!英飞凌为布鲁姆能源公司的...
【2022年10月26日,德国慕尼黑讯】当前的能源危机充分表明,全球迫... -
全球观察:三星中小尺寸显示器面板销量...
QD-OLED面板,即量子点面板,是一种使用量子点(英文,quantumdot,Q... -
随着新能源汽车渗透率的不断提高汽车市...
随着新能源汽车渗透率的不断提高,汽车市场将发生明显改变:绿色能... -
在已经持续了大约十年并迅速扩大规模的...
Zipse说:“在已经持续了大约十年并迅速扩大规模的电动汽车之后,下... -
什么是AI材料,为什么说AI材料科学领域...
中国作为全球最大的材料制造及消费国之一,伴随着新一代信息技术、... -
报道:5G套餐客户数达到5.57亿户,5G网...
5G套餐是三大运营商推出的一项数据流量服务,将流量、语音等资费元... -
小车车船税一年多少钱?车船税每年都交吗?
小车车船税一年多少钱?1 1 0升(含)以下的小车:车船税每辆120元;2... -
什么是进口汽车?怎样辨别一辆车是进口还...
什么是进口汽车?起初,进口车意味着整车基本都是在国外制造,运到中... -
开大g是什么意思?大g开一年亏多少钱?
开大g是什么意思?1、奔驰G级是世界上性能最强的全地形越野车之一:... -
车载逆变器是什么?车载逆变器有什么用?
车载逆变器是什么?车载逆变器是一种工作在大电流、高频率环境下的电... -
车辆怎么上牌?新车上牌流程是什么?
新车上牌流程是什么?(1)交钱验好车交钱。全款不用多说。如果是贷款... -
买车无息贷款的条件是哪些?0首付车贷的...
买车无息贷款的条件是哪些?1 具有完全民事行为能力的自然人2 ... -
bmw全称是什么?著名汽车品牌BMW到底是...
bmw全称是什么?全称是Bayerische Motoren erke AG,简称宝马。公... -
北京车牌摇号怎么申请?申请北京车牌条...
北京车牌摇号怎么申请?1、登录网址登录北京市小客车指标调控管理信... -
AI下半场:商业落地持续进阶,共达地和...
经过几十年的跌宕发展,有关人工智能的研究已经有了不少突破性的成... -
gli是什么意思?汽车后面的gli是什么意思?
gli是什么意思?GLi是指大众汽车中装备电喷AFE发动机的车型。车尾的... -
什么是冷却系统?冷却系统故障都有哪些?
什么是冷却系统?发动机冷却系统是发动机六大系统之一,其功用是把受... -
阿迪达斯终止与侃爷合作 Yeezy系列椰子...
继GAP、巴黎世家之后,阿迪达斯也终于做出了决定。阿迪达斯发声明称... -
“公募一哥” 张坤直呼以买房心态来投...
10月26日,网红基金经理张坤在管基金悉数披露2022年三季报。报告显... -
领克拍摄宣传片 百万摄像机撞灯柱坠落
10月25日,一摄像车在上海南浦大桥拍摄时车载摇臂与路灯杆发生碰撞... -
索尼产品坑惨国内视频博主 闲鱼抛售等...
索尼旗下多款麦克风产品使用的700MHz频段,而该频段早在两年多前就... -
赚麻后的美一产地天然气价竟是负值 欧...
这确实是让人感觉好笑的一幕,冬季来临之际,欧洲天然气过剩,其价... -
AMD笑而不语 老黄NVRTX4090起火烧毁
近日有一名ID为reggie_gakil的国外网友在使用RTX 4090游玩《荒野大... -
世界头条:加快推进智慧医疗建设努力让...
智慧医院支撑下的分级诊疗服务体系具有“互联、智慧、服务、健康”4... -
AMDZen4锐龙77700首测 性能如何?
AMD Zen4首批推出了四款X系列处理器,而根据曝料,接下来将有一款... -
大容量SSD价格失守 赔本卖背后意味着市...
恰逢双11大幕拉起,海外市场很快也会有黑色星期五、圣诞节等购物旺... -
微软新品SurfaceLaptop5弃用AMD处理器 ...
前不久微软发布了新一代Surface Laptop 5、Surface Pro 9等新品... -
NVIDIA十代GPU架构回顾:背后都是神仙级的大牛
新产品、新技术开发过程中,往往会取一个临时代号。今天,NVIDIA就... -
全球速讯:全面建立远程医疗应用体系发...
随着5G、AI、云计算、物联网为代表的新技术的出现,智慧医疗有了关... -
环球观察:科技创新·赋能未来丨安徽富...
此次交流会以“电子产业数字化发展探索”为主题,探讨了电子元器件... -
智慧医疗强化信息化建设
随着互联网+医疗的全面深入,互联互通测评是医院信息化建设的重要指... -
全球热讯:互联网医院服务有待进一步拓展...
互联网医院服务有待进一步拓展。目前,互联网医院受仅可开展“复诊... -
天天热讯:互联网医疗的发展趋势会加快此...
虽然目前我国医疗服务已经取得了较快的发展,但仍处于较初级阶段,... -
环球最新:iPhone 14 Pro系列销售佳仍...
Oct 25,2022----观察今年苹果(Apple)手机销售状况,首波预购后苹果... -
医疗大数据的价值发展需要非常多的技术...
智慧医疗的发展需要非常多的技术和实施成本,主要体现在精准医疗和... -
全球关注:机器人应用热潮,中国十年内...
近年来,在《中国制造2025》政策推动下,以“机器换人”或自动化生... -
环球观天下!ROHM开发出以1220尺寸达到1...
全球知名半导体制造商ROHM(总部位于日本京都市)面向车载设备、工... -
什么是轮胎动平衡?动平衡做一次多少钱?
什么是轮胎动平衡?(1)什么是动平衡:汽车的车轮是由轮胎和轮毂组成的... -
10万以内买什么车?10万以上适合买啥车?
10万以内买什么车?10万以内车型推荐:本田飞度、大众Polo、比亚迪宋M... -
汽车置换怎么置换?怎么申请汽车置换补贴?
汽车置换怎么置换?在以旧换新之前,需要了解旧汽车的价格,提前对汽... -
lc80是什么车?lc80越野车多少人民币?
lc80是什么车?LC80是丰田陆地巡洋舰。陆地巡洋舰LC80是丰田越野车系... -
电瓶车在上海怎么上牌?上海电瓶车上牌...
电瓶车在上海怎么上牌?1、申请人领填《上海市电动自行车登记申请表... -
什么是座椅加热?座椅加热原理是什么?
座椅加热原理是什么?座椅加热原理是通过座椅内部的电阻丝等对座椅进... -
道达尔机油是哪个标准?道达尔机油适合...
道达尔机油是哪个标准?道达尔目前在国内可能知名度没有壳牌、嘉实多... -
esp系统是什么?esp有什么功能?可以干什么?
esp系统是什么?esp系统是电子稳定程序系统,ESP系统的功用是监测车... -
国产车口碑最好的车是哪些?油气两用车哪...
国产车口碑最好的车是哪些?一,长城作为国内SUV市场上最受欢迎的品... -
轮胎的正确养护方法是什么?汽车轮胎刷...
轮胎的正确养护方法是什么?检测方法非常简单,只需要按住轮胎上方的... -
宝骏有自动挡的车吗?宝骏510自动挡为什...
宝骏有自动挡的车吗?宝骏530、510、360、310、310W、730、560均提供... -
超速会怎么扣分?超速拍照扣分标准是什么?
超速会怎么扣分?一、驾驶车辆时速超速不足10%的,给予驾驶人员提醒... -
零首付买车是怎么回事啊?零首付购车有...
零首付买车是怎么回事啊?零首付购车其实就是购车款100%都是向金融贷... -
天愈集团—康复机器人供应商与数字化健...
天愈集团(TEINYO)-全球五维度智能康复空间的创造者,中国科学精准... -
汽车的品牌有哪些牌子?汽车的品牌有几种?
汽车的品牌有哪些牌子?从品牌来说,汽车可以分为国产车、合资车和进... -
计算油耗的公式是什么?百公里油耗如何...
计算油耗的公式是什么?1 每百公里油耗=油耗÷行驶距离×... -
什么是点火提前角?点火提前角多少才是...
什么是点火提前角?发动机(汽油机)工作时,点火时刻对发动机的工作... -
cvt是什么意思?汽车是手动好还是自动挡好?
cvt是什么意思?CVT是无级变速属于自动挡,cvt无级变速顾名思义就是... -
什么是23p智能驾驶辅助?什么是全场景驾...
什么是23p智能驾驶辅助?1、ACC自适应巡航奔驰ACC自适应巡航系统,通... -
交强险赔偿范围金额明细标准是什么?什...
交强险赔偿范围明细和标准是什么?凡是对第三方(除本车、本车上的人)... -
劳斯莱斯多少钱一辆?劳斯莱斯最便宜的...
劳斯莱斯多少钱一辆?1 劳斯莱斯是英国非常著名的豪华汽车品牌。190... -
环球新消息丨关于智能家居行业的介绍及...
智能家居又称智能住宅,在国外常用SmartHome表示。智能家居是以住宅... -
世界通讯!要想用户智能家居产品必须先...
20世纪80年代初,随着大量采用电子技术的家用电器面市,住宅电子化(... -
热点!首个战斗机器人正式服役,荷兰成...
荷兰军队中的THEMIS战斗机器人正式服役,这使得荷兰成为北约第一个... -
环球播报:首部《中国舒适智能家居行业发...
2022年9月24日,首届“中国舒适智能家居高峰论坛暨白皮书发布会”在... -
3000公里以外就能给患者做手术,国产手...
手术机器人让医生不再需要临床手术,通过远处的操控台操控系统,医...