Evaluating goal ordering structures for testing harbour security policies | IEEE Conference Publication | IEEE Xplore