Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations.
Cornelius DiekmannAndreas KorstenGeorg CarlePublished in: CoRR (2016)
Keyphrases
- theorem prover
- term rewriting
- theorem proving
- first order logic
- automated reasoning
- formal proof
- network structure
- automated theorem proving
- inference rules
- formal semantics
- wireless sensor networks
- computer algebra
- complex networks
- application level
- network traffic
- natural deduction
- predicate calculus
- boolean algebra
- security measures
- key management
- machine learning
- proof planning
- expert systems