Availability and integrity model of Automatic Identification System (AIS) Information