sentence1: although formal specification of information flow security on separation kernels have been widely studied in academia and industry , information flow security of separation kernels with arinc 653 channel-based communication has not been studied to date .
sentence2: although formal specification of information-flow security on separation kernels have been widely studied in academia and industry , information-flow security of arinc sks has not been studied to date .