Design and assurance strategy for the NRL pump

Computer

Volumn 31, Issue 4, 1998, Pages 56-64

  Kang, Myong H ^a,b,c,d   Moore, Andrew P ^a,e,f   Moskowitz, Ira S ^a,g,h  

^a NAVAL RESEARCH LABORATORY   (United States)

^b NRL ^*  (United States)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^d PURDUE UNIVERSITY   (United States)

^e 931 College Mall   (United States)

^f DUKE UNIVERSITY   (United States)

^g STONY BROOK UNIVERSITY   (United States)

^h IEEE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANT COMPUTER SYSTEMS; SECURITY OF DATA;

HIGH ASSURANCE SYSTEMS;

COMPUTER ARCHITECTURE;

EID: 0032047528     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.666843     Document Type: Review

References (10)

1. M. Kang, J. Froscher, and I. Moskowitz, "A Framework for MLS Interoperability," Proc. High-Assurance Systems Eng. Workshop, IEEE CS Press, Los Alamitos, Calif., 1996, pp. 198-205.
2. M. Kang, J. Froscher, and I. Moskowitz, "An Architecture for Multilevel Secure Interoperability," Proc. Computer Security Applications Conf., IEEE CS Press, Los Alamitos, Calif., 1997, pp. 194-204.
3. M. Kang and I. Moskowitz, "A Pump for Rapid, Reliable, Secure Communication," Proc. ACM Conf. Computer and Comm. Security, ACM Press, New York, 1993, pp. 119-129.
4. M. Kang, I. Moskowitz, and D. Lee, "A Network Pump," IEEE Trans. Software Eng., May 1996, pp. 329-338.
5. I. Moskowitz and M. Kang, "Covert Channels - Here to Stay?" Proc. Computer Assurance Conf., IEEE CS Press, Los Alamitos, Calif., 1994, pp. 235-243.
6. A. Moore and C. Payne, "Increasing Assurance with Literate Programming Techniques," Proc. Computer Assurance Conf., IEEE CS Press, Los Alamitos, Calif., 1996, pp. 187-198.
7. D. Harel et al., "Statemate: A Working Environment for the Development of Complex Reactive Systems," IEEE Trans. Software Eng., Apr. 1990, pp. 403-414.
8. S. Kromodimoeljo et al., "EVES: An Overview," Tech. Report CP-91-5402-43, ORA Canada, Ottawa, Ontario, 1993.
9. Whitebox DeepCover: User Reference Manual, Reliable Software Technologies, Sterling, Va., 1996.
10. M. Kang, A. Moore, and I. Moskowitz, "Design and Assurance Strategy for the NRL Pump," NRL Memo 5540-97-7991, Naval Research Laboratory, Washington, D.C., Dec. 1997.