Study on Checking Hidden Danger Information Flow of Coal Mining | IEEE Conference Publication | IEEE Xplore