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

security verification (keyword)

types of item

keyword 133

subject term 2