Formal Analysis of Language-Based Android Security Using Theorem Proving Approach.
Wilayat KhanMuhammad KamranAakash AhmadFarrukh Aslam KhanAbdelouahid DerhabPublished in: IEEE Access (2019)
Keyphrases
- formal analysis
- theorem proving
- ban logic
- predicate calculus
- first order logic
- decision procedures
- automated deduction
- parallel search
- inference rules
- automated reasoning
- malware detection
- automatic programming
- term rewriting
- theorem prover
- natural language
- automated theorem proving
- logical inference
- programming language
- formal methods
- information security
- proof planning
- consequence finding
- geometry theorem proving
- agent model
- proof procedure
- key management
- combinatorial search
- model theoretic
- security issues
- access control
- authentication protocol
- security mechanisms
- security policies
- software engineering
- knowledge representation