Problems Column

ACM Transactions on Algorithms

Volumn 1, Issue 1, 2005, Pages 157-159

  Khuller, Samir ^a  

^a University of Maryland ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85024259027     PISSN: 15496325     EISSN: 15496333     Source Type: Journal    
DOI: 10.1145/1077464.1077475     Document Type: Article

References (42)

1. Aim Technology. 1988. AIM Technology published price list. AIM Technology, Santa Clara, CA.
2. Anderson, J. P. 1972. Computer security technology planning study. Tech. Rep. ESD-TR-73-51. James P. Anderson and Co., Fort Washington, PA.
3. Bell, D. E. and La Padula, L. 1975. Secure computer system: Unified exposition and Multics interpretation. Tech. Rep. ESD-TR-75-306; ESD/AFSC; DTIC AD-A023588.
4. Boebert, W. E. 1988. Annotated TCSEC. Tech. Rep. Honeywell Information Systems, Waltham, MA.
5. Boebert, W. E. and Kain, R. Y. 1985. A practical alternative to hierarchical integrity policies. In Proceedings of the 8th National Conference on Computer Security. 18-27.
6. Boebert, W. E., Kain, R. Y., and Young, W. D. 1985. Secure computing: the secure Ada target approach. Scientific Honeyweller (June).
7. Boehm, B. 1981. Software Engineering Economics. Prentice-Hall, New York, NY.
8. Cheswick, W. R. and Bellovin, S. M. 1994. Firewalls and Internet Security: Repelling the Wily Hacker. Addison-Wesley Professional Computing Series. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
9. Chokhani, S. 1992. Trusted products evaluation. Commun. ACM 35, 7 (July), 64-76.
10. Clark, D. and Wilson, D. 1987. A comparison of commercial and military computer security policies. In Proceedings of the IEEE Symposium on Security and Privacy (Oakland, CA). IEEE Computer Society Press, Los Alamitos, CA, 184-194.
11. Demillo, R. A., Lipton, R. J., and Perlis, A. J. 1979. Social processes and proofs of theorems and programs. Commun. ACM 22, 5 (May).
12. Denning, D. E. 1976. A lattice model of secure information flow. Commun. ACM 19, 2 (May), 236-243.
13. DOD. 1978. Security requirements for automatic data processing (ADP) systems. DOD Directive 5200. 28.
14. DOD. 1985. Specification practices. MIL-STD 490A.
15. DOD. 1985. Department of Defense trusted computer system evaluation criteria. Department of Defense Standard DoD 5200. 28-STD.
16. DOD COMPUTER SECURITY CENTER. 1985. Computer security requirements: Guidance for applying the Department of Defense trusted computer system evaluation criteria in specific environments. CSC-STD-003-85.
17. DOD. 1991. Department of Defense Federal acquisition regulation supplement: 48 code of Federal regulations.
18. Fraim, L. 1986. The challenge after A1: A view of the security market. In Proceedings of the 9th National Conference on Computer Security (Sept.). 41-46.
19. Good, D. I., Ambler, A. L., Browne, J. C., Burger, W., Cohen, R., Hoch, C., and Wells, R. 1977. Gypsy: A language for specification and implementation of verifiable programs. In Proceedings of the ACM Conference on Language Design for Reliable Software (Mar.). ACM Press, New York, NY.
20. Good, D. I., Cohen, R. M., Hoch, C. G., Hunter, L. W., and Hare, D. F. 1978. Report on the language Gypsy. Tech Rep. ICSCA-CMP-10. University of Texas at Austin, Austin, TX.
21. Haigh, T. J. and Young, W. D. 1987. Extending the noninterference version of MLS for SAT. IEEE Trans. Softw. Eng. 13, 2.
22. Kain, R. Y. 1988. Throughput benchmarks with AIM. Memorandum. LOCK program archives.
23. Lampson, B. 1973. A note on the confinement problem. Commun. ACM 16, 10 (Oct.).
24. Levin, T. E., Padilla, S. J., and Schell, R. R. 1989. Engineering results from the A1 formal verification process. In Proceedings of the 12th NIST/NCSC National Conference on Computer Security (Gaithersburg, MD, Oct.). 65-74.
25. Lipner, S. 1985. Secure system development at Digital Equipment: Targeting the needs of a commercial and government customer base. In Proceedings of the 8th National Conference on Computer Security (Sept.). 47-54.
26. NATIONAL COMPUTER SECURITY CENTER. 1997. Trusted network interpretation of the trusted computer system evaluation criteria. NCSC-TG-005, Version 1.
27. NATIONAL COMPUTER SECURITY CENTER. 1994. Introduction to certification and accreditation. NCSC-TG-029, Version 1.
28. Neumann, P. G., Robinson, L., Levitt, K. N., Boyer, R. S., and Saxena, A. R. 1975. Provably secure operating system. M79-225. Institute of Communication Research, Stanford University, Stanford, CA.
29. O'brien, R. C. and Rogers, C. 1991. Developing applications on LOCK. In Proceedings of the 14th NIST-NCSC National Conference on Computer Security (Washington, DC, Oct.).
30. Rochkind, M. J. 1975. The source code control system. IEEE Trans. Softw. Eng. SE-1, 4 (Dec.), 364-370.
31. Sandhu, R. S. 1993. Lattice-based access control models. IEEE Computer 26, 11, 9-19.
32. Saydjari, O. S., Beckman, J. K., and Leaman, J. R. 1987. LOCKing computers securely. In Proceedings of the 10th National Conference on Computer Security.
33. Saydjari, O. S., Beckman, J. K., and Leaman, J. R. 1989. LOCK trek: Navigating uncharted space. In Proceedings of the IEEE Symposium on Research in Security and Privacy (Oakland, CA, May 1-3). IEEE Computer Society Press, Los Alamitos, CA.
34. Schaffer, M. A. and Walsh, G. 1988. LOCK/ix: on implementing Unix on the LOCK TCB. In Proceedings of the 11th National Conference on Computer Security (NIST-NCSC, Baltimore, MD, Oct. 17-20). National Institute of Standards and Technology, Gaithersburg, MD.
35. SMITH, R. E. 1994. Constructing a high assurance mail guard. In Proceedings of the 17th National Conference on Computer Security (Baltimore, MD).
36. Smith, R. E. 1996. Sidewinder: Defense in depth using type enforcement. J. Syst. Manage.
37. Smith, R. E. 2000. Trends in government endorsed security product evaluations. In Proceedings of the 23rd National Conference on Information Systems Security (Baltimore, MD, Oct.).
38. Stoneburner, G. R. and SnoW, D. A. 1989. The Boeing MLS LAN: Headed towards an INFOSEC security solution. In Proceedings of the 12th NIST/NCSC National Conference on Computer Security (Gaithersburg, MD, Oct.). 254-266.
39. Taylor, T. 1991. FTLS-based security testing for LOCK. In Proceedings of the 14th NIST-NCSC National Conference on Computer Security (Washington, DC, Oct.).
40. Thomsen, D. and Schwartau, W. 1996. Is your network secure? BYTE (Jan.).
41. Ware, W. 1970. Security controls for computer systems (U): Report of Defense Science Board Task Force on Computer Security. Rand Rep. R609-1. RAND, Santa Monica, CA.
42. Weissman, C. 1969. Security controls in the ADEPT-50 time-sharing system. In Proceedings of the 1969 Fall Joint Conference on Computers.