An Application of the (max, +) Algebra to Information Flow Security | IEEE Conference Publication | IEEE Xplore