James G. Williams Publications

  1. Williams, J. G., et al., [CC Toolbox Version 6.0f] CC Profiling Knowledge Base, February 2000 ***.

  2. Williams, J. G., et al., CCPKB User Guide, February 2000 ***.

  3. Williams, J. G. (web version), Common Criteria in HTML, February 2000 ***. 

  4. CC Toolbox User Manual Version 6.0f, February 2000 ***.

  5. Williams, J. G., et al., CC Profiling Knowledge Base, User Guide, and Reports,, distributed with the CC Toolbox, February 2000 [http://niap.nist.gov/tools/cctool.html].

  6. Rosenthal, A., and J. G. Williams, “Synthesizing a Multilevel-Secure System from a Trusted Service and its Underlying OS,” unpublished.

  7. Williams, J. G., et al., NIAP [National Information Assurance Partnership] Review of the NIMS [National Airspace System (NAS) Infrastructure Management System] PP [Common Criteria Protection Profile], August 1999 (not in the public domain).

  8. Williams, J. G., and E. Steeble (editors), Workshop on Databases of Threats and Countermeasures, National Information Assurance Partnership, March 1999 at [http://www.niap.nist.gov/TnCProceedings].

  9. Williams, J.G., “What does Security Have to Do with Errors in Healthcare?,” presentation to Object Management Group, June 1998.  PowerPoint at http://www.omg.org/pub/docs/corbamed/98-06-07.zip

  10. Rosenthal, A., and J. G. Williams, “Synthesizing a Multilevel-Secure System from a Trusted Service and its Underlying OS,” accepted for publication by Journal of Computer Security.

  11. Williams, J. G., et al., "CORBA Threat-Mitigation Model," presented to the Object Management Group, June 1996.  MS Word at http://www.omg.org/pub/docs/security/98-06-01.doc

  12. Williams, J. G., “Sound Information Handling:  Application to Errors in Medicine,”  Toward an Electronic Patient Record 96, Medical Records Institute, Vol. 2, pp. 348-355, May 1996.

  13. Williams, J. G., and L. J. LaPadula, “Modeling External Consistency of Automated Systems,” Journal of High-Integrity Systems, Vol. 1, No. 3, pp. 249-267, 1995.

  14. Williams, J. G., and M. D. Abrams, “Security Policy Modeling,” in Information Systems Security — an Integrated Collection of Essays,  by Abrams, Podel, and JaJodia, IEEE, 1994.

  15. LaPadula, L. J., and J. G. Williams, “Secure Processing From the Desktop:  A Policy for Using Personal Workstations to Process Restricted Company Information, MP‑94B-16, MITRE, February 1994.

  16. Abrams, M. D., Amoroso, E. G., LaPadula, L. J., Lunt, T. F., Williams, J. G.,  "Report of an Integrity Research Study Group," Computers and Security, pp. 679-689, Vol. 12, No. 7, November 1993.

  17. Williams, J. G., and Abrams, M. D., "From Orange Book to Federal Criteria," (tutorial) 8th Symposium on Physical and Electronic Criteria,  Princeton, NJ, August 1993.

  18. LaPadula, L. J., and Williams, J. G., "External Consistency in a Networking Environment," New Security Paradigms Workshop, Little Compton, RI, ACM, pp. 131‑137, August 1993.

  19. Williams, J. G.,  "A Shift in Security Modeling Paradigms," New Security Paradigms Workshop, Little Compton, RI, ACM, pp. 57‑61, August 1993.

  20. Williams, J. G., and LaPadula, L. J., "Automated Support for External Consistency," Computer Security Foundations Workshop VI, pp. 71-81, Franconia NH, June 1993.

  21. Williams, J. G., A Guide to Understanding Security Modeling in Trusted Systems,  NCSC‑TG‑10, lib. No. S-239, 669, National Computer Security Center, October 1992.

  22. Williams, J. G.,  R. A. Gove, and L. M. Jaworski, "To Bell and Back:  Developing a Formal Security Model for a C2 System",  7th Computer Security Applications Conference,  December 1991.

  23. Williams, J. G., and L. J. La Padula, "Toward a Universal Integrity Model"  The Computer Security Foundations Workshop IV,  IEEE, June 1991.

  24. Williams, J. G.,  Instantiation Theory: On the Foundations of Automated Deduction, Lecture Notes in Artificial Intelligence, No. 518, Springer-Verlag, 1991.

  25. Williams, J. G., "Modeling Nondisclosure in Terms of the Subject-Instruction Stream,"  Symposium on Research in Security and Privacy,  IEEE, May 1991.

  26. Williams, J. G.,  "On the Formalization of Semantic Conventions," The Journal of Symbolic Logic, Vol. 55, No. 1, March 1990.

  27. Williams, J. G., et al., Final Design Assessment Report of Ford Aerospace Corporation Multinet Gateway System Advanced Development Model, Version 4.0,  C22-REPT-01-90,  National Security Agency, June 1989.

  28. Williams, J. G., Formally Grounded Software Reasoning Systems: Theory and Requirements, MTP-266, MITRE, May 1987.

  29. Williams, J. G.,  "Components of Verification Technology," Proceedings of Verkshop III, Software Engineering Notes, ACM, April 1985.

  30. Williams, J. G.,  B. G. Claybrook, and A-M. G. Claybrook, "Defining Database Views as Data Abstractions" IEEE Transactions on Software Engineering, Vol. SE-11, No. 1,  January 1985.

  31. Williams, J. G.,  and C. H. Applebaum, "PVS - Design for a Practical Verification System," Proceedings ACM'84, October 1984.

  32. Williams, J. G., A Logic for Reasoning About Programs,  MTP-240, MITRE, January 1984.

  33. Williams, J. G., "PVS - Formal Semantics, Vol. 1, Combinator Tree Interpretations, MTR 9133 V1, MITRE, December 1983.

  34. Williams, J. G., and S. Stahl, LSI Guard Security Specification , MTR-8451, MITRE, March 1982.

  35. Williams, J. G. et al., Verification of the ACCAT Guard Downgrade Trusted Process,  Vols. I, II, III, MTR-8463, MITRE, January 1981, September 1981, January 1982.

  36. Williams, J. G.,  and A-M. G. Discepelo, "A Practical Verification System" , Proceedings of  Verkshop II,  April 1981.

  37. Williams, J. G.,  and S. R. Ames, "Demonstrating Security for Trusted Applications on a Security Kernel Base" 1980 Symposium on Security and Privacy, April 1980.

  38. Williams, J. G., "Needed:  Verifiable Guidelines on How to Design a Methodology," Proceedings Verkshop I, Software Engineering Notes, July 1980.

  39. Williams, J. G., Donald I. Good, and Richard M. Cohen, "Principles of Proving Concurrent Programs" ICSCA-CMP-15, 1979.

  40. Williams, J. G., "Curve Sketching on a Teletype," SIGRAPH, Fall 1978.

  41. Williams, J. G., "Structure Diagrams for Primitive Boolean Algebras," Proceedings of the American Mathematical Society  Vol. 47, 1975.

  42. Williams, J. G., "A Formal Analogy Between Proximity and Finite Dimensionality," Colloquium  Mathematicum, Vol. 31, 1974.

  43. Williams, J. G., "Regarding Arc-wise Accessibility in the Plane," Fundamenta Mathematicae, Vol. 85, 1974.

  44. Williams, J. G., "On a Question of Pulter, Regarding Categories of Structures," Commentationes  Mathematicae Universitatis Carolinae, Vol. 15, 1974.

  45. Williams, J. G., "Nested Sequences of Local Uniform Spaces," Trans. Amer. Math. Soc., Vol. 168, 1972.

  46. Williams, J. G., "Local Uniform Spaces," Trans. Amer. Math. Soc., Vol. 168, 1972.

  47. Williams, J. G., "Multiplication Free Characterization of Reciprocal Addition," Pi Mu Epsilon Journal, Vol. 4, No. 4, 1966.

 

jim@pagenotes.com