Author:
Almeida Matos Ana,Cederquist Jan
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21(1), 5–19 (2003)
2. Goguen, J.A., Meseguer, J.: Security policies and security models. In: 1982 IEEE Symp. on Security and Privacy, pp. 11–20. IEEE Computer Society (1982)
3. Sabelfeld, A., Sands, D.: Dimensions and principles of declassification. In: 18th IEEE Computer Security Foundations Workshop, pp. 255–269. IEEE Computer Society (2005)
4. Lecture Notes in Computer Science;G. Boudol,2005
5. Lecture Notes in Computer Science;F. Martins,2005