FlexFlow: A flexible flow control policy specification framework

IFIP Advances in Information and Communication Technology

Volumn 142, Issue , 2004, Pages 358-371

  Chen, Shiping ^a   Wijesekera, Duminda ^a   Jajodia, Sushil ^a  

^a Krasnow Institute for Advanced Study   (United States)

Author keywords

Data flow; Flow control policy; Security policy

Indexed keywords

DATA TRANSFER; SPECIFICATIONS;

CONTROL FRAMEWORK; CONTROL POLICY; DATA FLOW; DIFFERENT MECHANISMS; POINT TO POINT; POLICY SPECIFICATION; SECURITY POLICY; TRANSACTION SYSTEMS;

FLOW CONTROL;

EID: 84902457974     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (12)

1. C. Baral and V.S. Subrahmanian. Stable and extension class theory for logic programs and default theories. Journal of Automated Reasoning, 8:345-366, 1992.
2. D.E. Bell and L.J. LaPadula. Secure computer systems: Mathematical foundations and model. Report M74-244, Mitre Corp., Bedford, MA, 1975.
3. S. Chen, D. Wijesekera, and S. Jajodia. Flexflow: A flexible flow control policy specification framework. Report ISE-TR-03-04, Center for Secure Information Systems, Fairfax, VA, 2003.
4. D.E. Denning. A lattice model of secure information flow. Communication of ACM, pages 236-243, May 1976.
5. E. Ferrari, P. Samarati, E. Bertino, and S. Jajodia. Providing flexibility in information flow control for object-oriented systems. In Proceedings of the IEEE Symposium on Security and Privacy, pages 130-140, Oakland, CA, May 1997. IEEE.
6. S.N. Foley. A model for secure information flow. In Proceedings of the IEEE symposium on Security and Privacy, Oakland, CA, May 1989.
7. A. V. Gelder. The alternating fixpoint of logic programs with negation. In Proc. 8th ACM Symposium on Principles of Database Systems, pages 1-10, 1989.
8. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. Fifth International Conference and Symposium on Logic Programming, pages 1070-1080,1988.
9. S. Jajodia, P. Samarati, M.L. Sapino, and V.S. Subrahmanian. Flexible support for multiple access control policies. ACM Transactions on Database Systems, 26(4): 1-57, June 2001.
10. C.J. McCollum, J.R. Messing, and L. Notargiacomo. Beyond the pale of mac and dac-defining new forms of access control. In Proceedings of the IEEE symposium on Security and Privacy, pages 190-200, Oakland, CA, May 1990.
11. A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM Symposium on Operating System Principles, pages 129-142, Saint-Malo, France, October 1997.
12. P. Samarati, E. Bertino, A. Ciampichetti, and S. Jajodia. Information flow control in object-oriented systems. IEEE Transactions on Knowledge and Data Engineering, 9(4):524-538, July-Aug. 1997.