Channel control strategy based on noninterference theory and its automated verification scheme
崔隽 黄皓
Journal of Computer Applications . 2010, (3): 708 -714 .