ininet.org//aspect-oriented-information-flow-control.html