AWS 使用 Tiros 自动验证 Cloud WAN 网络分段

AWS介绍使用自动化推理工具 Tiros 验证 Cloud WAN 网络分段的方法,可检查全部建模路径中是否存在违反隔离策略的连接。系统从路由表、attachments 和策略文档生成逻辑命题与可达路径,若实际可达性不符合预期便向运维人员告警。该方法不依赖动态数据包采样,可每小时分析一次部署网络拓扑,无需另做可达性测试。

来源:Amazon Science · 阅读原文 · 前沿热点

Biohub启动成像驻留项目,18名科学家参与联合研究

Biohub启动成像驻留项目,已选出18名科学家进入其研究团队,围绕冷冻电子断层扫描、计算成像和发育系统测绘等方向开展合作研究。项目团队构建了可快速进行三维FLIM测量的EO-FLIM系统,并通过为样本覆盖导电碳层或铝层,改善激光相位板冷冻电镜成像中的电荷干扰。驻留项目还覆盖生成式虚拟染色、图像压缩、斑马鱼发育图谱和蛋白质复合物结构测绘等课题。

来源:Biohub 科研动态 · 阅读原文 · 前沿热点

JAK2 V617F如何推动骨髓增殖性肿瘤的诊断与治疗

JAK2 V617F的发现使骨髓增殖性肿瘤的分子机制和临床分类得到系统解释。研究团队通过短干扰RNA敲低、突变筛查及细胞和小鼠移植实验,证明该突变可引发生长因子独立性、STAT激活和红细胞增多。该突变随后进入PV、ET和PMF的诊断标准,并成为预后评估和治疗靶点之一。

来源:Haematologica · 阅读原文 · 前沿热点

NIST发布后量子密码标准迁移指南NISTIR 8547

美国国家标准与技术研究院发布后量子密码标准迁移路线图NISTIR 8547,为联邦机构、产业伙伴和标准组织规划从易受量子攻击算法转向抗量子标准。报告支持联邦高价值资产在2030年完成密钥建立迁移、数字签名在2031年完成迁移,并将2035年设为联邦系统完成迁移的主要目标。报告还说明算法逐步淘汰安排、混合加密方案及密码供应链等实施因素。

来源:美国国家标准与技术研究院 · 阅读原文 · 前沿热点