Author:
Baldan Paolo,Beggiato Alessandro,Lluch Lafuente Alberto
Publisher
Springer International Publishing
Reference25 articles.
1. Bossi, A., Piazza, C., Rossi, S.: Modelling downgrading in information flow security. In: Proceedings of CSFW 2004, p. 187. IEEE Computer Society (2004)
2. Broberg, N., Sands, D.: Paralocks: role-based information flow control and beyond. In: Hermenegildo, M.V., Palsberg, J. (eds.) Proceedings of POPL 2010, pp. 431–444. ACM (2010)
3. Busi, N., Gorrieri, R.: Structural non-interference in elementary and trace nets. Math. Struct. Comput. Sci. 19(6), 1065–1090 (2009)
4. Lecture Notes in Computer Science;MR Clarkson,2014
5. Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157–1210 (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献