Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract)

[1]  Marsha Chechik,et al.  Yasm: A Software Model-Checker for Verification and Refutation , 2006, CAV.

[2]  M. Heinemann.  Buy one - get one free! , 2014, The Thoracic and cardiovascular surgeon.

[3]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[4]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[5]  Byron Cook,et al.  Formal Reasoning About the Security of Amazon Web Services , 2018, CAV.

[6]  Pauline Bolignano,et al.  Semantic-based Automated Reasoning for AWS Access Policies using SMT , 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).

[7]  Patrice Godefroid,et al.  Model Checking with Multi-valued Logics , 2004, ICALP.

[8]  Mark A. Musen,et al.  The protégé project: a look back and a look forward , 2015, SIGAI.

[9]  Sebastián Uchitel,et al.  MTSA: The Modal Transition System Analyser , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[10]  Ulrike Sattler,et al.  The Hybrid µ-Calculus , 2001, IJCAR.

[11]  Alan J. Hu,et al.  Reachability Analysis for AWS-Based Networks , 2019, CAV.

[12]  Deborah L. McGuinness,et al.  Description Logic in Practice: A CLASSIC Application , 1995, IJCAI.

[13]  Sean Bechhofer,et al.  The OWL API: A Java API for OWL ontologies , 2011, Semantic Web.

[14]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[15]  Kief Morris,et al.  Infrastructure as Code: Managing Servers in the Cloud , 2016 .

[16]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[17]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[18]  Orna Grumberg,et al.  Buy One, Get One Free!!! , 1994, J. Log. Comput..

[19]  Alexander Shraer,et al.  Verifying cloud services: present and future , 2013, OPSR.

[20]  Patrice Godefroid,et al.  Model Checking Partial State Spaces with 3-Valued Temporal Logics , 1999, CAV.

[21]  Boris Motik,et al.  HermiT: An OWL 2 Reasoner , 2014, Journal of Automated Reasoning.

[22]  Deborah L. McGuinness,et al.  Conceptual modelling for configuration: A description logic-based approach , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.