Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Security Assertion Mining (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(2/190)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Processor vulnerability detection with the aid of assertions : RISC-V case study
Heidari Iman, Mohammad Reza
;
Ahmadi-Pour, Sallar
;
Drechsler, Rolf
;
Ghasempouri, Tara
techrxiv.org
2024
/
p. 1-8 : ill
https://doi.org/10.36227/techrxiv.172101134.45466090/v1
artikkel ajakirjas
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
2
artikkel kogumikus
Processor vulnerability detection with the aid of assertions : RISC-V case study
Heidari Iman, Mohammad Reza
;
Ahmadi-Pour, Sallar
;
Drechsler, Rolf
;
Ghasempouri, Tara
2024 IEEE Nordic Circuits and Systems Conference, NORCAS 2024 - Proceedings
2024
/
7 p.
https:/doi.org/10.1109/NorCAS64408.2024.10752460
Article at Scopus
Article at WOS
artikkel kogumikus
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
188
1.
Security Assertion Mining
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
Assertion Mining
4.
automatic assertion mining
5.
Security Assertion
6.
assertion
7.
assertion candidate
8.
assertion checkers
9.
Assertion Minimization
10.
assertion qualification
11.
assertion sign
12.
assertion-based verification
13.
Husserl on inclusion and assertion
14.
Peirce on inclusion and assertion
15.
sheet of assertion
16.
ad-hoc sensor networks security
17.
Association pattern mining
18.
association rule mining
19.
Australian mining industry
20.
Automatic Security Verification
21.
Blockchain security
22.
business process mining
23.
cache security
24.
cloud security
25.
communication system security
26.
comprehensive system of economic security
27.
computer security
28.
cooperative security dilemma
29.
cyber security
30.
cyber security education
31.
cyber security exercises
32.
cyber security monitoring
33.
cyber security monitoring in maritime
34.
cyber security strategies
35.
cyber-physical system security
36.
cyber-security
37.
data and information security
38.
data mining
39.
data mining and knowledge discovery
40.
data security
41.
data stream mining
42.
data-mining
43.
deep-sea mining
44.
development of security cameras
45.
digital security practices
46.
distributed data mining
47.
distributed data mining (DDM)
48.
drinking water security
49.
economic security
50.
economic security of enterprise
51.
educational data mining
52.
educational data-mining
53.
emotional security
54.
energy security
55.
energy security indicator
56.
Estonian information security standard
57.
European mining
58.
graded security
59.
hardware security
60.
hardware security primitive
61.
high level of security
62.
Homeland security
63.
human security
64.
informal mining
65.
information security
66.
information security and privacy
67.
initial level of security
68.
internal security
69.
international security
70.
investment and innovation security
71.
IPv6 security
72.
IT security
73.
IT security management
74.
job security
75.
knowledge discovery and data mining
76.
LLM-based template detection from security event logs
77.
LLMs for cyber security
78.
long-term security
79.
maritime cyber security
80.
maritime cyber security operations centers
81.
Maritime Security Operations Center (M-SOC)
82.
medium level of security
83.
metadata model for security measures
84.
metal mining
85.
Middle Eastern security
86.
mining
87.
mining block
88.
mining co- and by-products
89.
mining industry
90.
Mining life cycle
91.
mining line patterns from event logs
92.
mining losses
93.
mining organization
94.
mining patterns from event logs
95.
mining regulations
96.
mining technology
97.
mining waste
98.
mining waste management
99.
Mobile security
100.
national cyber security strategy
101.
national security
102.
NATO. Science for Peace and Security Program
103.
network security
104.
network security monitoring
105.
numerical association rule mining
106.
oil shale mining
107.
OSCE (Organization for Security and Co-operation in Europe)
108.
passenger’s security
109.
pattern mining for event logs
110.
pattern mining from event logs
111.
pattern mining from log files
112.
policy-based routing security
113.
political and security cultures
114.
post-mining land use
115.
post-quantum security
116.
power system security
117.
quantitative association rule mining
118.
quantitative security
119.
regional security
120.
RISC-V Security Verification
121.
room-and-pillar mining
122.
safety and security in sea transportation
123.
safety and security testing
124.
security
125.
security adaptation
126.
security alert prioritization
127.
security analysis
128.
security and justice (AFSJ)
129.
Security and political science
130.
security and privacy
131.
security and privacy in smart grids
132.
security closure
133.
Security Coverage
134.
security dataset
135.
security dilemma
136.
Security evaluation
137.
security evaluation instruments
138.
Security event log analysis
139.
Security Level Evaluation
140.
Security limitations
141.
security log analysis
142.
security management
143.
security model
144.
security monitoring
145.
security notion
146.
security objectives
147.
security of data
148.
security of supply
149.
security operation center
150.
security operations center
151.
security patterns
152.
security policy
153.
security problem definition
154.
security proof
155.
security protocols
156.
security requirements
157.
security requirements engineering
158.
security research
159.
security risk assessment
160.
security risk management
161.
security risks
162.
security science and technology
163.
security strategies
164.
security systems
165.
security systems for military objects
166.
security testing
167.
security training
168.
security verification
169.
security-by-design
170.
selective mining
171.
social security planning
172.
societal security
173.
software security
174.
software security level
175.
software security subcharacteristics
176.
space mining
177.
sufficient level of security
178.
sustainable mining
179.
system of economic security
180.
system security
181.
terrorism security
182.
text mining
183.
transmission System Security
184.
underground mining
185.
web usage mining
186.
voting privacy and security
187.
vulnerability mining
188.
(Mining and Metallurgy Regions of EU, 2018-2020) MIREU
märksõna
2
1.
National Computer Security Incident Response Teams (N-CSIRTs)
2.
USS Security Eesti AS
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT