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. Homeland security
61. human security
62. information security
63. information security and privacy
64. internal security
65. international security
66. investment and innovation security
67. IPv6 security
68. IT security
69. IT security management
70. job security
71. long-term security
72. metadata model for security measures
73. Middle Eastern security
74. Mobile security
75. national cyber security strategy
76. national security
77. NATO. Science for Peace and Security Program
78. network security
79. network security monitoring
80. OSCE (Organization for Security and Co-operation in Europe)
81. passenger’s security
82. policy-based routing security
83. political and security cultures
84. post-quantum security
85. power system security
86. quantitative security
87. regional security
88. Safety and Security in Sea Transportation
89. safety and security testing
90. security
91. security adaptation
92. security alert prioritization
93. security analysis
94. security and justice (AFSJ)
95. Security and political science
96. security and privacy
97. security and privacy in smart grids
98. Security Assertion Mining
99. security closure
100. Security Coverage
101. security dataset
102. security dilemma
103. Security evaluation
104. security evaluation instruments
105. Security limitations
106. security log analysis
107. security management
108. security model
109. security monitoring
110. security notion
111. security objectives
112. security of data
113. security of supply
114. security operation center
115. security operations center
116. security patterns
117. security policy
118. security problem definition
119. security proof
120. security protocols
121. security requirements
122. security requirements engineering
123. security risk assessment
124. security risk management
125. security risks
126. security science and technology
127. security strategies
128. security systems for military objects
129. security testing
130. security training
131. security-by-design
132. social security planning
133. societal security
134. system of economic security
135. system security
136. terrorism security
137. transmission System Security
138. voting privacy and security

security verification (keyword)

types of item

keyword 138

subject term 2