Event-processing middleware with information flow control
作者： David M. Eyers , Peter Pietzuch , Ioannis Papagiannis , Matteo Migliavacca , Brian Shand
DOI:
关键词:
摘要: 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 systems. The SmartFlow project aims to develop an extensible, distributed middleware that employs form label-based security: Decentralised Information Flow Control. Java isolates used provide efficient but secure runtime environment.
acm.org参考文章(9)
Silas Boyd-Wickizer, David Mazières, Nickolai Zeldovich, Securing distributed systems with information flow control networked systems design and implementation. pp. 293- 308 ,(2008)
I. Papagiannis, M. Migliavacca, P. Pietzuch, B. Shand, D. Eyers, J. Bacon, PrivateFlow: decentralised information flow control in event based middleware distributed event-based systems. pp. 38- ,(2009) , 10.1145/1619258.1619306
Grzegorz Czajkowski, Application isolation in the Java Virtual Machine conference on object-oriented programming systems, languages, and applications. ,vol. 35, pp. 354- 366 ,(2000) , 10.1145/353171.353195
Steve Vandebogart, Petros Efstathopoulos, Eddie Kohler, Maxwell Krohn, Cliff Frey, David Ziegler, Frans Kaashoek, Robert Morris, David Mazieres, None, Labels and event processes in the Asbestos operating system ACM Transactions on Computer Systems. ,vol. 25, pp. 11- ,(2007) , 10.1145/1314299.1314302
Silas Boyd-Wickizer, David Mazières, Nickolai Zeldovich, Eddie Kohler, Making information flow explicit in HiStar operating systems design and implementation. pp. 263- 278 ,(2006) , 10.5555/1298455.1298481
N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frenot, B. Folliot, I-JVM: a Java Virtual Machine for component isolation in OSGi dependable systems and networks. pp. 544- 553 ,(2009) , 10.1109/DSN.2009.5270296
Andrew C. Myers, Barbara Liskov, Protecting privacy using the decentralized label model ACM Transactions on Software Engineering and Methodology. ,vol. 9, pp. 410- 442 ,(2000) , 10.1145/363516.363526
Maxwell Krohn, Alexander Yip, Micah Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris, Information flow control for standard OS abstractions Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles - SOSP '07. ,vol. 41, pp. 321- 334 ,(2007) , 10.1145/1294261.1294293
D. E. Bell, Secure Computer Systems: Mathematical Foundations and Model Technical Report ESD-TR-73-278-1. ,(1973)