A Formal Approach to Anomaly Detection

André Eriksson, Hedvig Kjellström

2016

Abstract

While many advances towards effective anomaly detection techniques targeting specific applications have been made in recent years, little work has been done to develop application-agnostic approaches to the subject. In this article, we present such an approach, in which anomaly detection methods are treated as formal, structured objects. We consider a general class of methods, with an emphasis on methods that utilize structural properties of the data they operate on. For this class of methods, we develop a decomposition into sub-methods—simple, restricted objects, which may be reasoned about independently and combined to form methods. As we show, this formalism enables the construction of software that facilitates formulating, implementing, evaluating, as well as algorithmically finding and calibrating anomaly detection methods.

Paper Citation

in Harvard Style

Eriksson A. and Kjellström H. (2016). A Formal Approach to Anomaly Detection . In Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM, ISBN 978-989-758-173-1, pages 317-326. DOI: 10.5220/0005710803170326

in Bibtex Style

@conference{icpram16,
author={André Eriksson and Hedvig Kjellström},
title={A Formal Approach to Anomaly Detection},
booktitle={Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM,},
year={2016},
pages={317-326},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005710803170326},
isbn={978-989-758-173-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM,
TI - A Formal Approach to Anomaly Detection
SN - 978-989-758-173-1
AU - Eriksson A.
AU - Kjellström H.
PY - 2016
SP - 317
EP - 326
DO - 10.5220/0005710803170326