Searching - TalTech Research Portal

1. Automatic Security Verification
2. RISC-V Security Verification
3. security verification
4. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
5. assertion-based verification
6. Automata, Formal Verification
7. automatic speaker verification
8. compliance verification
9. compositional verification
10. deductive verification
11. extra-functional verification
12. forecast verification
13. formal verification
14. functional verification
15. grid verification
16. Hardware Verification
17. model verification
18. model-based verification
19. power verification
20. program verification
21. reliability verification
22. simple payment verification (SVP)
23. simulation-based verification
24. speaker verification
25. timing verification
26. validation and verification
27. verification
28. verification and validation
29. verification by model checking
30. verification methods
31. ad-hoc sensor networks security
32. Blockchain security
33. cache security
34. communication system security
35. comprehensive system of economic security
36. computer security
37. cooperative security dilemma
38. cyber security
39. cyber security education
40. cyber security exercises
41. cyber security strategies
42. cyber-security
43. data security
44. development of security cameras
45. drinking water security
46. economic security
47. economic security of enterprise
48. emotional security
49. energy security
50. energy security indicator
51. graded security
52. hardware security
53. hardware security primitive
54. human security
55. information security
56. internal security
57. international security
58. investment and innovation security
59. IPv6 security
60. IT security
61. IT security management
62. job security
63. long-term security
64. metadata model for security measures
65. Middle Eastern security
66. Mobile security
67. national cyber security strategy
68. national security
69. NATO. Science for Peace and Security Program
70. network security
71. network security monitoring
72. OSCE (Organization for Security and Co-operation in Europe)
73. passenger’s security
74. policy-based routing security
75. political and security cultures
76. post-quantum security
77. power system security
78. quantitative security
79. regional security
80. security
81. security and privacy
82. security and privacy in smart grids
83. Security Assertion Mining
84. security closure
85. Security Coverage
86. security dataset
87. security dilemma
88. Security evaluation
89. security log analysis
90. security management
91. security model
92. security monitoring
93. security notion
94. security objectives
95. security of data
96. security of supply
97. security operation center
98. security patterns
99. security policy
100. security problem definition
101. security proof
102. security protocols
103. security requirements
104. security requirements engineering
105. security risk assessment
106. security risk management
107. security strategies
108. security systems for military objects
109. security testing
110. security training
111. social security planning
112. societal security
113. system of economic security
114. system security
115. terrorism security
116. transmission System Security
117. voting privacy and security

security verification (keyword)

types of item

keyword 117

subject term 2