Title | ||
---|---|---|
A Framework for Anomaly Detection in Time-Driven and Event-Driven Processes Using Kernel Traces |
Abstract | ||
---|---|---|
Model-checking and verification using Kripke structures and computational tree logic* (CTL*) use abstractions from the model/process/application to create the state-transition graphs that verify the model behavior. This scheme of profiling the performance of a process imports that the depth of the process operation correlates with the level abstraction. However, because of state explosion problems... |
Year | DOI | Venue |
---|---|---|
2022 | 10.1109/TKDE.2020.2978469 | IEEE Transactions on Knowledge and Data Engineering |
Keywords | DocType | Volume |
Anomaly detection,Hidden Markov models,Kernel,Context modeling,Feature extraction,Entropy,Model checking | Journal | 34 |
Issue | ISSN | Citations |
1 | 1041-4347 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Okwudili M. Ezeme | 1 | 0 | 0.68 |
Qusay H. Mahmoud | 2 | 844 | 112.10 |
Akramul Azim | 3 | 0 | 0.34 |