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. graded security
52. hardware security
53. hardware security primitive
54. human security
55. information security
56. internal security
57. international security
58. investment and innovation security
59. IPv6 security
60. IT security
61. IT security management
62. job security
63. long-term security
64. metadata model for security measures
65. Middle Eastern security
66. Mobile security
67. national cyber security strategy
68. national security
69. NATO. Science for Peace and Security Program
70. network security
71. network security monitoring
72. OSCE (Organization for Security and Co-operation in Europe)
73. passenger’s security
74. policy-based routing security
75. political and security cultures
76. post-quantum security
77. power system security
78. quantitative security
79. regional security
80. security
81. security and justice (AFSJ)
82. security and privacy
83. security and privacy in smart grids
84. Security Assertion Mining
85. security closure
86. Security Coverage
87. security dataset
88. security dilemma
89. Security evaluation
90. security log analysis
91. security management
92. security model
93. security monitoring
94. security notion
95. security objectives
96. security of data
97. security of supply
98. security operation center
99. security patterns
100. security policy
101. security problem definition
102. security proof
103. security protocols
104. security requirements
105. security requirements engineering
106. security risk assessment
107. security risk management
108. security strategies
109. security systems for military objects
110. security testing
111. security training
112. social security planning
113. societal security
114. system of economic security
115. system security
116. terrorism security
117. transmission System Security
118. voting privacy and security

security verification (keyword)

types of item

keyword 118

subject term 2