Otsing - TalTech teadusportaal

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. security
82. security adaptation
83. security analysis
84. security and justice (AFSJ)
85. security and privacy
86. security and privacy in smart grids
87. Security Assertion Mining
88. security closure
89. Security Coverage
90. security dataset
91. security dilemma
92. Security evaluation
93. security evaluation instruments
94. security log analysis
95. security management
96. security model
97. security monitoring
98. security notion
99. security objectives
100. security of data
101. security of supply
102. security operation center
103. security operations center
104. security patterns
105. security policy
106. security problem definition
107. security proof
108. security protocols
109. security requirements
110. security requirements engineering
111. security risk assessment
112. security risk management
113. security strategies
114. security systems for military objects
115. security testing
116. security training
117. security-by-design
118. social security planning
119. societal security
120. system of economic security
121. system security
122. terrorism security
123. transmission System Security
124. voting privacy and security

security verification (võtmesõna)

teaviku laadid

võtmesõna 124

märksõna 2