Behavioral Model Anomaly Detection in Automatic Identification Systems (AIS) | IEEE Conference Publication | IEEE Xplore