19 lines
693 B
XML
19 lines
693 B
XML
= Problem Statement
|
|
|
|
The problem of log verification can be devided in sub-problems. The concept of correlation is introduced in the sub-problem 1.1.
|
|
|
|
== Problem 1
|
|
|
|
Given a tuple of time series and even series $(t,e)$, establish whether the event series was tampered with.
|
|
|
|
== Problem 1.1
|
|
|
|
Given a tuple of time series and even series $(t,e)$, compute a correlation coefficient presenting a monotonic relationship with the number of changes applied to the event series.
|
|
|
|
== Problem 1.2
|
|
|
|
Given a set of correlation coefficient computed from known-good $(t,e)$ tuples and a new coefficient computed from an unverified tuple $(t_u,e_u)$, verify whether $e_u$ was tampered with.
|
|
|
|
= Related Work
|
|
|
|
|