5Camara P, Castro J, Merino P, et al. Verification sup- port for ARINC-653-based avionics software [ J ]. Soft- ware Testing: Verification and Reliability, 2011, 21 (4) :267 - 298.
6Tang Xuehai, Sun Bing, Li Ruilin, et al. A meet-in- the-middle attack on reduced-round ARIA [ J ]. Journal of Systems and Software ,2011,84(10) :1685 - 1692.
7Boho A, Van Wallendael G, Dooms A. End-to-end se- curity for video distribution : the combination of encryp- tion, watermarking, and video adaptation [ J ]. IEEE Signal Processing Magazine,2013,30 (2) :97 - 107.
