A novel policy and information flow security model for active network

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3073, Issue , 2004, Pages 42-55

  Xia, Zhengyou ^a   Jiang, Yichuan ^b   Zhong, Yiping ^b   Zhang, Shiyong ^b  

^a NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

^b FUDAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; ACTIVE NETWORKS; FORESTRY; INFORMATION THEORY; MOBILE SECURITY; SECURITY OF DATA;

ACCESS CONTROL POLICIES; CLASSIC INFORMATION; FAMILY TREE POLICY; INFORMATION FLOW MODEL; INFORMATION FLOW SECURITY; INFORMATION FLOWS; INNER FLOW; NOVEL METHODS;

NETWORK SECURITY;

INFORMATION RETRIEVAL; NETWORKS; TREES;

EID: 32544453950     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25952-7_4     Document Type: Article

References (11)

1. Tennenhouse, D. and D. Wetherall.. Towards an Active Network Architecture. In Multimedia Computing and Networking. 1996. San Jose, CA.
2. D. Wetherall, John V. etc ANTS: A Toolkit for Building and Dynamically Deploying Network Protocols IEEE OPENARCH'98, San Francisco, CA, April 1998.
3. www.choices.cs.uiuc.edu/Security/seraphim/May2000/SecurityArchitecture. pdf a6AN Security working group. May 2000.
4. Roy H. Campbell, Zhaoyu Liu. Dynamic interoperable security architecture for active network. IEEE OPENARCH 2000, Israel, March 2000. 32-41.
5. K.L. Calvert, Architectural framework for active networks, version 1.0 University of Kentucky, July 1999. www.ccgatech.edu/project/canes/papers/arch-1-0.ps.gz.
6. D.E. Bell and L.J. LaPadula. Secure computer systems: Mathematical foundations.Technical Report ESD-TR-278, vol. 1, The Mitre Corp., Bedford, MA, 1973.
7. D. E. Bell. Secure computer systems: A renement of the mathematical model.Technical Report ESD-TR-278, vol. 3, The Mitre Corp., Bedford, MA, 1973.
8. D. F. C. Brewer and M. J. Nash. The Chinese wall security policy. In Proc. IEEE Symposium on Security and Privacy, pages 215-228, Oakland, CA, 1989.
9. A. Goguen and J. Meseguer, Security policies and security models, in: Proc. of the 1982 Symposium on Security and Privacy, pp. 11-20.
10. Focardi, R. and Gorrieri, R.: A Classification of Security Properties, JCS, 3(1):(1995) 5-33
11. Focardi, R., Gorrieri, R.: The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Trans. on Soft. Eng., 23(9): (1997) 550-571.