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

security verification (keyword)

types of item

keyword 135

subject term 2