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

Document Versions

Achieving information flow security through monadic control of effects –William L. Harrison, James Hook — 2009 — JOURNAL OF COMPUTER SECURITY
Achieving Information Flow Security Through Monadic Control of Effects –William L. Harrison, James Hook — 2006