Achieving information flow security through monadic control of effects (2009)

by William L. Harrison , James Hook
Venue:JOURNAL OF COMPUTER SECURITY
Citations:6 - 5 self