보안 정책 분석기 서비스 및 만족성 엔진
DODGE CATHERINE, RUNGTA NEHA, PUCHALSKI JEFF, VARMING CARSTEN, COOK JOHN
Year of Publication 05.02.2020
Get full text
Year of Publication 05.02.2020
Patent
AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
DODGE CATHERINE, KAHSAI AZENE TEMESGHEN, CHERUKU NIKHIL REDDY, WU YIWEN, STALZER MARK EDWARD, MCLAUGHLIN SEAN, WHALEY BLAKE, KOCIK WILLIAM JO, COOK JOHN BYRON
Year of Publication 22.06.2023
Get full text
Year of Publication 22.06.2023
Patent
자동화된 패킷리스 네트워크 도달가능성 분석
DODGE CATHERINE, KAHSAI AZENE TEMESGHEN, CHERUKU NIKHIL REDDY, WU YIWEN, STALZER MARK EDWARD, MCLAUGHLIN SEAN, WHALEY BLAKE, KOCIK WILLIAM JO, COOK JOHN BYRON
Year of Publication 03.03.2021
Get full text
Year of Publication 03.03.2021
Patent
Semantic-based Automated Reasoning for AWS Access Policies using SMT
Backes, John, Bolignano, Pauline, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Luckow, Kasper, Rungta, Neha, Tkachuk, Oksana, Varming, Carsten
Published in 2018 Formal Methods in Computer Aided Design (FMCAD) (01.10.2018)
Published in 2018 Formal Methods in Computer Aided Design (FMCAD) (01.10.2018)
Get full text
Conference Proceeding
SECURITY POLICY ANALYZER SERVICE AND SATISFIABILITY ENGINE
VARMING, Carsten, DODGE, Catherine, RUNGTA, Neha, PUCHALSKI, Jeff, COOK, John
Year of Publication 24.05.2023
Get full text
Year of Publication 24.05.2023
Patent
Security policy analyzer service and satisfiability engine
Dodge, Catherine, Cook, John, Puchalski, Jeff, Rungta, Neha, Varming, Carsten
Year of Publication 28.03.2023
Get full text
Year of Publication 28.03.2023
Patent
SECURITY POLICY ANALYZER SERVICE AND SATISFIABILITY ENGINE
VARMING, Carsten, DODGE, Catherine, RUNGTA, Neha, PUCHALSKI, Jeff, COOK, John
Year of Publication 25.01.2023
Get full text
Year of Publication 25.01.2023
Patent
SECURITY POLICY ANALYZER SERVICE AND SATISFIABILITY ENGINE
Dodge, Catherine, Cook, John, Puchalski, Jeff, Rungta, Neha, Varming, Carsten
Year of Publication 19.11.2020
Get full text
Year of Publication 19.11.2020
Patent
Security policy analyzer service and satisfiability engine
Dodge, Catherine, Cook, John, Puchalski, Jeff, Rungta, Neha, Varming, Carsten
Year of Publication 25.08.2020
Get full text
Year of Publication 25.08.2020
Patent
SECURITY POLICY ANALYZER SERVICE AND SATISFIABILITY ENGINE
VARMING, Carsten, DODGE, Catherine, RUNGTA, Neha, PUCHALSKI, Jeff, COOK, John
Year of Publication 06.05.2020
Get full text
Year of Publication 06.05.2020
Patent
Security policy monitoring service
Dodge, Catherine, Cook, John, Puchalski, Jeff, Rungta, Neha, Varming, Carsten
Year of Publication 21.04.2020
Get full text
Year of Publication 21.04.2020
Patent
AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
Kocik, William Jo, Dodge, Catherine, Cook, John Byron, Stalzer, Mark Edward, Whaley, Blake, McLaughlin, Sean, Cheruku, Nikhil Reddy, Wu, Yiwen, Azene, Temesghen Kahsai
Year of Publication 17.08.2023
Get full text
Year of Publication 17.08.2023
Patent