Network information flow control: Proof of concept

Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013

Volumn , Issue , 2013, Pages 2957-2962

  Alghothami, Alwaleed ^a   Kammüller, Florian ^a  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED INFORMATION; INFORMATION FLOWS; NETWORK INFORMATION FLOW; PROOF OF CONCEPT; SECURITY MODEL;

CYBERNETICS; NETWORK MANAGEMENT; QUALITY OF SERVICE;

FLOW CONTROL;

EID: 84893522357     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SMC.2013.504     Document Type: Conference Paper

References (10)

1. D. E. Denning, "Lattice model of secure information flow, " Comm. of the ACM, vol. 19, no. 5, pp. 236-242, 1976.
2. D. E. Denning and P. J. Denning, "Certification of programs for secure information flow, " Comm. of the ACM, vol. 20, no. 7, 1977.
3. J. Goguen and J. Meseguer, "Security policies and security models, " in Symposium on Operating System Principles, SOSP, 82. IEEE Computer Society Press, 1982, pp. 11-22.
4. M. Krohn, A. Yip, M. Brodsky, N. Cliffer, M. F. Kaashoek, E. Kohler, and R. Morris, "Information flow control for standard os abstractions, " in SOSP '07. New York, NY, USA: ACM, 2007, pp. 321-334.
5. H. Mantel, "On the composition of secure systems, " in Symposium on Security and Privacy, ACM, 2002.
6. A. C. Myers, L. Zheng, S. Zdancewic, S. Chong, and N. Nystrom, "Jif: Java information flow, " 2001. [Online]. Available: http://www.cs.cornell. edu/jif.
7. A. C. Myers and B. Liskov, "A decentralized model for information flow control, " in SOSP '97. New York, NY, USA: ACM, 1997, pp. 129-142.
8. A. Sabelfeld and A. C. Myers, "Language-based information flow security, " Selected Areas in Communications, vol. 21, pp. 5-19, 2003.
9. D. Volpano, G. Smith, and C. Irvine, "A sound type system for secure flow analysis, " Journal of Computer Security, vol. 4, no. 3, pp. 167-187, 1996.
10. N. Zeldovich, S. Boyd-Wickizer, and D. Mazieres, "Securing distributed systems with information flow control, " in NSDI, J. Crowcroft and M. Dahlin, Eds. USENIX Association, 2008, pp. 293-308.