Mathematical validation of proposed machine learning classifier for heterogeneous traffic and anomaly detection | Synapse