Hook-up property for information flow secure nets | IEEE Conference Publication | IEEE Xplore