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

security verification (keyword)

types of item

keyword 145

subject term 2