Mediating secure information flow policies

Information and Computation

Volumn 205, Issue 9, 2007, Pages 1413-1425

  Zhang, Guo Qiang ^a  

^a Case Western Reserve University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PRIVACY; FUNCTIONS; MERGING; METALS; STREAM FLOW;

CLOSURE OPERATORS; INFORMATION FLOW POLICIES; INFORMATION SHARING; MULTI-LEVEL CONTEXTS; SCOTT-CONTINUOUS FUNCTIONS; SECURE INFORMATION FLOW; SECURITY AND PRIVACY; THEORETICAL FOUNDATIONS;

INFORMATION DISSEMINATION;

EID: 84862970802     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2007.02.005     Document Type: Article

References (17)

1. G. Birkhoff. Lattice Theory. AMS Colloquium Publications, Vol. 25, 1940.
2. D. Denning, A lattice model of secure information flow, Communications of the ACM 19(1976) 236-243.
3. M. Droste, R. Göbel, Universal domains in the theory of denotational semantics of programming languages, LICS (1990) 19-34.
4. M. Droste, R. Göbel, Universal domains and the amalgamation property, Mathematical Structures in Computer Science 3(1993) 137-159.
5. M. Droste. Universal homogeneous causal sets, Journal of Mathematical Physics 46(2005) 122503.
6. R. Fraissé, Theory of Relations, North Holland, Amsterdam, 1986.
7. G. Gierz, K. Hofmann, K. Keimel, J. Lawson, M. Mislove, D. Scott, Continuous Lattices and Domains, Cambridge University Press, 2003.
8. J. Goguen. Three perspectives on information integration. In Semantic Interoperability and Integration, Dagstuhl Seminar Proceedings 04391, 2005.
9. P. Hitzler, M. Krötzsch, M. Ehrig, and Y. Sure. What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts. in: Proceedings of the First International Workshop on Contexts and Ontologies: Theory, Practice and Applications. Workshop at the 20th National Conference on Artificial Intelligence, AAAI-05, Pittsburgh, Pennsylvania, July 2005.
10. R. Kent. Semantic integration in the Information Flow Framework. In Semantic Interoperability and Integration, Dagstuhl Seminar Proceedings 04391, 2005.
11. S. MacLane, Categories for the working mathematician, Springer-Verlag, 1971.
12. C. Meadows, Extending the Brewer-Nash model to a multi-level context, IEEE Computer Society Symposium on Research in Security and Privacy (1990) 95-102. (Pubitemid 20739279)
13. J. Millen, Local reconfiguration policies, IEEE Computer Society Symposium on Security and Privacy (1999) 48-56.
14. D. S. Scott, Domains for denotational semantics, Lecture Notes in Computer Science 140(1982) 577-613.
15. G.-Q. Zhang. Chu spaces, concept lattices, and domains. in: Proceedings of the 19th Conference on the Mathematical Foundations of Programming Semantics, March 2003, Montreal, Canada. Electronic Notes in Theoretical Computer Science Vol. 83, 2004, 17 pages.
16. G.-Q. Zhang and G. Shen. Approximating concepts, Chu spaces, and information systems. In de Paiva and Pratt (Guest Editors), Special Issue on Chu Spaces and Applications, Theory and Applications of Categories 17(2006) 80-102.
17. G.-Q. Zhang, Logic of Domains, Birkhauser, Boston, 1991.