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. reliability verification
22. simple payment verification (SVP)
23. simulation-based verification
24. speaker verification
25. timing verification
26. validation and verification
27. verification
28. verification and validation
29. verification by model checking
30. verification methods
31. ad-hoc sensor networks security
32. Blockchain security
33. cache security
34. communication system security
35. comprehensive system of economic security
36. computer security
37. cooperative security dilemma
38. cyber security
39. cyber security education
40. cyber security exercises
41. cyber security strategies
42. cyber-security
43. data security
44. development of security cameras
45. drinking water security
46. economic security
47. economic security of enterprise
48. emotional security
49. energy security
50. energy security indicator
51. Estonian information security standard
52. graded security
53. hardware security
54. hardware security primitive
55. human security
56. information security
57. internal security
58. international security
59. investment and innovation security
60. IPv6 security
61. IT security
62. IT security management
63. job security
64. long-term security
65. metadata model for security measures
66. Middle Eastern security
67. Mobile security
68. national cyber security strategy
69. national security
70. NATO. Science for Peace and Security Program
71. network security
72. network security monitoring
73. OSCE (Organization for Security and Co-operation in Europe)
74. passenger’s security
75. policy-based routing security
76. political and security cultures
77. post-quantum security
78. power system security
79. quantitative security
80. regional security
81. safety and security testing
82. security
83. security adaptation
84. security alert prioritization
85. security analysis
86. security and justice (AFSJ)
87. security and privacy
88. security and privacy in smart grids
89. Security Assertion Mining
90. security closure
91. Security Coverage
92. security dataset
93. security dilemma
94. Security evaluation
95. security evaluation instruments
96. security log analysis
97. security management
98. security model
99. security monitoring
100. security notion
101. security objectives
102. security of data
103. security of supply
104. security operation center
105. security operations center
106. security patterns
107. security policy
108. security problem definition
109. security proof
110. security protocols
111. security requirements
112. security requirements engineering
113. security risk assessment
114. security risk management
115. security strategies
116. security systems for military objects
117. security testing
118. security training
119. security-by-design
120. social security planning
121. societal security
122. system of economic security
123. system security
124. terrorism security
125. transmission System Security
126. voting privacy and security

security verification (keyword)

types of item

keyword 126

subject term 2