Computer Science

1. Access Control Policies 100%
2. lambda-calculus 72%
3. Programming Language 65%
4. Unification Algorithm 65%
5. Access Control 61%
6. Nominal Approach 50%
7. Type Systems 48%
8. Formalization 43%
9. Attribute-Based Access Control 39%
10. Internet-Of-Things 39%
11. Equational Theory 38%
12. Rewrite Rule 37%
13. Soundness 35%
14. Rewriting Relation 34%
15. Privacy Preserving 34%
16. Explicit Substitution 30%
17. Matching Algorithm 30%
18. Role-Based Access Control 30%
19. Operational Semantics 29%
20. Function Symbol 26%
21. Functional Programming 26%
22. Abstract Machine 21%
23. Equivalence Relation 21%
24. Functional Languages 20%
25. Experimental Result 19%
26. Unification Problem 19%
27. Labelled Graph 17%
28. Efficient Algorithm 17%
29. Social Network 17%
30. Functional Program 17%
31. Renaming 17%
32. Modeling Framework 17%
33. Order Unification 17%
34. Fixed Point 17%
35. System Parameter 17%
36. Regulatory Compliance 17%
37. Data Management 17%
38. Data Access 17%
39. Data Sharing 16%
40. Unification Modulo 14%
41. Theorem Proving 13%
42. Equivalence Problem 13%
43. Collection Policy 13%
44. Graph Traversal 13%
45. Structural Induction 13%
46. Theorem Prover 13%
47. Logic Programming 13%
48. IoT Application 13%
49. Axiomatization 12%
50. Object Language 11%