Information Technology Reference
In-Depth Information
16. Schmitt, A., Stefani, J.-B.: The m-calculus: a higher-order distributed process cal-
culus. SIGPLAN Not 38(1), 50-61 (2003)
17. Gorla, D., Hennessy, M., Sassone, V.: Security policies as membranes in systems for
global computing. In: Foundations of Global Ubiquitous Computing, FGUC 2004.
ENTCS, pp. 23-42. Elsevier (2005)
18. Moore, S., Chong, S.: Static analysis for ecient hybrid information-flow control.
In: Proceedings of the 2011 IEEE 24th Computer Security Foundations Sympo-
sium, CSF 2011, pp. 146-160. IEEE Computer Society (2011)
19. Askarov, A., Sabelfeld, A.: Tight enforcement of information-release policies for
dynamic languages. In: Proceedings of the 2009 22nd IEEE Computer Security
Foundations Symposium, CSF 2009, pp. 43-59. IEEE Computer Society (2009)
