Searching - TalTech Research Portal

1. Automatic Security Verification
2. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3. automatic speaker verification
4. RISC-V Security Verification
5. security verification
6. assertion-based verification
7. Automata, Formal 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. independent verification and validation
19. model verification
20. model-based verification
21. power verification
22. program verification
23. Quantum state verification
24. reliability verification
25. safety verification
26. simple payment verification (SVP)
27. simulation-based verification
28. speaker verification
29. timing verification
30. validation and verification
31. verification
32. verification and validation
33. verification by model checking
34. verification methods
35. automatic AI (autoAI)
36. automatic assertion mining
37. automatic calibration
38. automatic clutch engagement
39. automatic code generation
40. automatic composition method
41. automatic control
42. automatic control systems
43. automatic controllers
44. automatic error correction
45. automatic evaluation
46. automatic fault diagnosis
47. automatic frequency control
48. Automatic generation control
49. automatic GUI model generation
50. Automatic identification system
51. automatic identification system (AIS)
52. automatic machine learning (autoML)
53. automatic model creation
54. automatic processing of solutions
55. automatic program synthesis
56. automatic programming
57. automatic speech recognition
58. automatic test case generation
59. automatic test pattern generation
60. automatic test program generation
61. automatic tide gauges
62. automatic weather stations
63. automatic voltage control
64. DLL for automatic calibration
65. Speaker-attributed automatic speech
66. ad-hoc sensor networks security
67. Blockchain security
68. cache security
69. cloud security
70. communication system security
71. comprehensive system of economic security
72. computer security
73. cooperative security dilemma
74. cyber security
75. cyber security education
76. cyber security exercises
77. cyber security monitoring
78. cyber security monitoring in maritime
79. cyber security strategies
80. cyber-physical system security
81. cyber-security
82. data and information security
83. data security
84. development of security cameras
85. digital security practices
86. drinking water security
87. economic security
88. economic security of enterprise
89. emotional security
90. energy security
91. energy security indicator
92. Estonian information security standard
93. graded security
94. hardware security
95. hardware security primitive
96. high level of security
97. Homeland security
98. human security
99. information security
100. information security and privacy
101. initial level of security
102. internal security
103. international security
104. investment and innovation security
105. IPv6 security
106. IT security
107. IT security management
108. job security
109. LLM-based template detection from security event logs
110. LLMs for cyber security
111. long-term security
112. maritime cyber security
113. maritime cyber security operations centers
114. Maritime Security Operations Center (M-SOC)
115. medium level of security
116. metadata model for security measures
117. Middle Eastern security
118. Mobile security
119. national cyber security strategy
120. national security
121. NATO. Science for Peace and Security Program
122. network security
123. network security monitoring
124. OSCE (Organization for Security and Co-operation in Europe)
125. passenger’s security
126. policy-based routing security
127. political and security cultures
128. post-quantum security
129. power system security
130. quantitative security
131. regional security
132. safety and security in sea transportation
133. safety and security testing
134. security
135. security adaptation
136. security alert prioritization
137. security analysis
138. security and justice (AFSJ)
139. Security and political science
140. security and privacy
141. security and privacy in smart grids
142. Security Assertion
143. Security Assertion Mining
144. security closure
145. Security Coverage
146. security dataset
147. security dilemma
148. Security evaluation
149. security evaluation instruments
150. Security event log analysis
151. Security Level Evaluation
152. Security limitations
153. security log analysis
154. security management
155. security model
156. security monitoring
157. security notion
158. security objectives
159. security of data
160. security of supply
161. security operation center
162. security operations center
163. security patterns
164. security policy
165. security problem definition
166. security proof
167. security protocols
168. security requirements
169. security requirements engineering
170. security research
171. security risk assessment
172. security risk management
173. security risks
174. security science and technology
175. security strategies
176. security systems
177. security systems for military objects
178. security testing
179. security training
180. security-by-design
181. social security planning
182. societal security
183. software security
184. software security level
185. software security subcharacteristics
186. sufficient level of security
187. system of economic security
188. system security
189. terrorism security
190. transmission System Security
191. voting privacy and security

Automatic Security Verification (keyword)

types of item

keyword 191

subject term 2