Event-processing middleware with information flow control

Large-scale, multi-domain, event-based systems are appropriate for a number of emerging application domains, such as collaboration between healthcare organisations. Strong security guarantees will be required of such systems. The SmartFlow project aims to develop an extensible, distributed middleware that employs a form of label-based security: Decentralised Information Flow Control. Java isolates are used to provide an efficient but secure runtime environment.