Strict integrity policy of Biba model with dynamic characteristics and its correctness

CIS 2009 - 2009 International Conference on Computational Intelligence and Security

Volumn 1, Issue , 2009, Pages 521-525

  Zhang, Mingxi ^a  

^a DONGHUA UNIVERSITY   (China)

Author keywords

Biba model; Compatibility; Integrity; Strict integrity policy

Indexed keywords

BIBA MODEL; DYNAMIC CHARACTERISTICS; STRICT INTEGRITY POLICIES;

ARTIFICIAL INTELLIGENCE; INTERNET PROTOCOLS; NETWORK SECURITY;

QUALITY ASSURANCE;

EID: 77949301092     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIS.2009.58     Document Type: Conference Paper

References (9)

1. Bishop, M. Computer Security: Art and Science, Addison Wesley, Boston, MA. 2003.
2. K. J. Biba. Integrity considerations for secure computer systems. USAF Electronic System Division, Hanscom Air Force Base, Tech. Rep.: ESD-TR-76-372, 1977.
3. J. A. Goguen, J. Meseguer. Security policies and security models. The 1982 Symposium on Security and Privacy, Oakland, CA,1982.
4. D. Sutherland. A model of information. The 9th National Security Conf, Gaithersburg, 1986.
5. D. D. Clark , D. R. Wilson. A comparison of commercial and military computer security policies. The 1987 IEEE Symposium on Security and Privacy , Oakland , California , 1987.
6. D. Brewer , M. Nash. The Chinese wall security policy. In :Proc. of IEEE Symposium on Security and Privacy. Los Alamitos , CA : IEEE Computer Society Press , 1989, pp. 206-214.
7. L. Badger, D. F. Sterne, D. L. Sherman, et al. A domain and type enforcement UNIX prototype. USENIX Computing Systems, 1996, 9 (1), pp. 47-83.
8. Zhang Xiangfeng, Sun Yufang. Dynamic Enforcement of the Strict Integrity Pol icy in Biba's Model. Journal of Computer Research and Development. 2005, 42(5), pp. 746-754.
9. Denning D E. A lattice model of secure information flow. Communications of the ACM, 1976, 19(5), pp. 236-243.