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. 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. ad-hoc sensor networks security
36. Blockchain security
37. cache security
38. cloud security
39. communication system security
40. comprehensive system of economic security
41. computer security
42. cooperative security dilemma
43. cyber security
44. cyber security education
45. cyber security exercises
46. cyber security monitoring
47. cyber security monitoring in maritime
48. cyber security strategies
49. cyber-physical system security
50. cyber-security
51. data and information security
52. data security
53. development of security cameras
54. digital security practices
55. drinking water security
56. economic security
57. economic security of enterprise
58. emotional security
59. energy security
60. energy security indicator
61. Estonian information security standard
62. graded security
63. hardware security
64. hardware security primitive
65. high level of security
66. Homeland security
67. human security
68. information security
69. information security and privacy
70. initial level of security
71. internal security
72. international security
73. investment and innovation security
74. IoT security
75. IPv6 security
76. IT security
77. IT security management
78. job security
79. LLM-based template detection from security event logs
80. LLMs for cyber security
81. long-term security
82. maritime cyber security
83. maritime cyber security operations centers
84. Maritime Security Operations Center (M-SOC)
85. medium level of security
86. metadata model for security measures
87. Middle Eastern security
88. Mobile security
89. national cyber security strategy
90. national security
91. NATO. Science for Peace and Security Program
92. network security
93. network security monitoring
94. OSCE (Organization for Security and Co-operation in Europe)
95. passenger’s security
96. policy-based routing security
97. political and security cultures
98. post-quantum security
99. power system security
100. quantitative security
101. regional security
102. safety and security in sea transportation
103. safety and security testing
104. security
105. security adaptation
106. security alert prioritization
107. security analysis
108. security and justice (AFSJ)
109. Security and political science
110. security and privacy
111. security and privacy in smart grids
112. Security Assertion
113. Security Assertion Mining
114. security closure
115. Security Coverage
116. security dataset
117. security dilemma
118. Security evaluation
119. security evaluation instruments
120. Security event log analysis
121. Security Level Evaluation
122. Security limitations
123. security log analysis
124. security management
125. security model
126. security monitoring
127. security notion
128. security objectives
129. security of data
130. security of supply
131. security operation center
132. security operations center
133. security patterns
134. security policy
135. security problem definition
136. security proof
137. security protocols
138. security requirements
139. security requirements engineering
140. security research
141. security risk assessment
142. security risk management
143. security risks
144. security science and technology
145. security strategies
146. security systems
147. security systems for military objects
148. security testing
149. security training
150. security-by-design
151. social security planning
152. societal security
153. software security
154. software security level
155. software security subcharacteristics
156. sufficient level of security
157. system of economic security
158. system security
159. terrorism security
160. transmission System Security
161. voting privacy and security

security verification (keyword)

types of item

keyword 161

subject term 2