从研究论文到现实的IAM访问分析器.pdf

1、 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.I N V 5 0 5IAM Access Analyzer from Research Paper to RealityAndrew GacekSr.Pr.Applied ScientistAutomated Reasoning 2025,Amazon Web Services,Inc.or its affiliates.Al

2、l rights reserved.Andrew Gacek-PhD in Computer Science from University of Minnesota-7 years at Rockwell Collins doing verification of avionics and cyber-physical systems-7 years at AWS doing verification of access control and cloud governance 2025,Amazon Web Services,Inc.or its affiliates.All rights

3、 reserved.AgendaHow to find research papersHow to read a research paper featuring IAM Access AnalyzerHow to read many research papers featuring Zelkova,SMT,and SATLearningobjectives 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.How to find research papers:amazon.science 2025,Ama

4、zon Web Services,Inc.or its affiliates.All rights reserved.How to find research papers:amazon.science 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.How to find research papers:amazon.science 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Servi

5、ces,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.How to read a research paperfeaturing IAM Access Analyzer 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights rese

6、rved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.Live demo 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.How to read a research paperDosDo skim initiallyDo look at the picturesDo read iterativelyDo focus on the“why”DontsDont read like a novelDont get stuck