Semantic-based Automated Reasoning for AWS Access Policies using SMT.
John BackesPauline BolignanoByron CookCatherine DodgeAndrew GacekKasper Søe LuckowNeha RungtaOksana TkachukCarsten VarmingPublished in: FMCAD (2018)
Keyphrases
- high level
- automated reasoning
- reasoning systems
- decision procedures
- knowledge representation
- theorem proving
- theorem prover
- probabilistic reasoning
- reasoning tasks
- programming language
- access control
- automated verification
- knowledge representation and reasoning
- statistical machine translation
- inference rules
- special case
- artificial neural networks
- lower bound
- computational complexity