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

security verification (võtmesõna)

teaviku laadid

võtmesõna 121

märksõna 2