Although aviation security is not a new phenomenon to the world, current threats are much more sophisticated such that it is extremely difficult to detect possible threats of terrorism without severely hindering passenger life style. In order to provide adequate security, a much more sophisticated, reliable, and fast screening technique is needed for passenger identification and baggage examina...

In this paper we present an initial investigation into the use of a classification-based technique for illicit object detection in aviation security. Current threats in aviation security are becoming more sophisticated in that it is extremely difficult to detect possible threats of terrorism without severely hindering passenger life style. In order to provide adequate security, previous work by...

For the formal verification of a network security policy, it is crucial to express the verification goals. These formal goals, called security invariants, should be easy to express for the end user. Focusing on access control and information flow security strategies, this work discovers and proves universal insights about security invariants. This enables secure and convenient auto-completion o...

Facing with the enormous data scale of the civil aviation industry, the vital issue that enterprises must consider is how to manage and make use of data to play its value. In this study, the content of the governance of big data of civil aviation is analyzed and this paper put forward the specific governance of big data resources of civil aviation to provide relevant support of the governance o...