Aviation Flight Security Assurance Evaluation System Based on Panboolean Algebra | IEEE Conference Publication | IEEE Xplore