A formal assessment of anomaly network intrusion detection methods and techniques using various datasets | IEEE Conference Publication | IEEE Xplore