Publisher
Springer International Publishing
Reference25 articles.
1. Piazza, C., Bossi, A., Rossi, S.: Compositional information flow security for concurrent programs. J. Comput. Secur. 15(3), 373–416 (2007)
2. Atluri, V., Jajodia, S., George, B.: Multilevel Secure Transaction Processing. Kluwer Academic, Boston (1999)
3. Bertino, E., Catania, B., Ferrari, E.: A nested transaction model for multilevel secure database management systems. ACM Trans. Inf. Syst. Secur. 4, 321–370 (2001)
4. Boudol, G., Castellani, I.: Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. 281(1–2), 109–130 (2002)
5. LNCS;S Crafa,2005