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. Quantum state verification
22. reliability verification
23. simple payment verification (SVP)
24. simulation-based verification
25. speaker verification
26. timing verification
27. validation and verification
28. verification
29. verification and validation
30. verification by model checking
31. verification methods
32. ad-hoc sensor networks security
33. Blockchain security
34. cache security
35. communication system security
36. comprehensive system of economic security
37. computer security
38. cooperative security dilemma
39. cyber security
40. cyber security education
41. cyber security exercises
42. cyber security monitoring
43. cyber security strategies
44. cyber-security
45. data security
46. development of security cameras
47. drinking water security
48. economic security
49. economic security of enterprise
50. emotional security
51. energy security
52. energy security indicator
53. Estonian information security standard
54. graded security
55. hardware security
56. hardware security primitive
57. human security
58. information security
59. internal security
60. international security
61. investment and innovation security
62. IPv6 security
63. IT security
64. IT security management
65. job security
66. long-term security
67. metadata model for security measures
68. Middle Eastern security
69. Mobile security
70. national cyber security strategy
71. national security
72. NATO. Science for Peace and Security Program
73. network security
74. network security monitoring
75. OSCE (Organization for Security and Co-operation in Europe)
76. passenger’s security
77. policy-based routing security
78. political and security cultures
79. post-quantum security
80. power system security
81. quantitative security
82. regional security
83. safety and security testing
84. security
85. security adaptation
86. security alert prioritization
87. security analysis
88. security and justice (AFSJ)
89. Security and political science
90. security and privacy
91. security and privacy in smart grids
92. Security Assertion Mining
93. security closure
94. Security Coverage
95. security dataset
96. security dilemma
97. Security evaluation
98. security evaluation instruments
99. Security limitations
100. security log analysis
101. security management
102. security model
103. security monitoring
104. security notion
105. security objectives
106. security of data
107. security of supply
108. security operation center
109. security operations center
110. security patterns
111. security policy
112. security problem definition
113. security proof
114. security protocols
115. security requirements
116. security requirements engineering
117. security risk assessment
118. security risk management
119. security risks
120. security strategies
121. security systems for military objects
122. security testing
123. security training
124. security-by-design
125. social security planning
126. societal security
127. system of economic security
128. system security
129. terrorism security
130. transmission System Security
131. voting privacy and security

security verification (keyword)

types of item

keyword 131

subject term 2