Sample Publications
Authored or Coauthored by James Williams

CC Toolbox Version 6.0f

The CC Toolbox provides an automated interface to ISO's Common Criteria for Information Security Technology Evaluation.  I designed and implemented the Toolbox's underlying knowledge base and provided much of its underlying content and associated documentation including an HTML printout of the underlying CC Profiling Knowledge Base Ø, its associated User Guide Ø, and an HTML rendering of the Common Criteria Ø.  I also maintained the final version of the Toolbox and its associated CC Toolbox User Manual Ø.

What does Security Have to Do with Errors in Healthcare?

I presented this talk to Object Management Group in June 1998.  It uses principles of information integrity to critique HIPAA and its support by the Object Management Group  ØØ.

Sound Information Handling:  Application to Errors in Medicine

Inspired by the work of Dr. Lucian Leape, this 1996 paper applies principles of information integrity to healthcare.  The result is a complete, simple model of information handling explaining how to avoid errors in the handling of medical information  ØØ.

Security Modeling Guideline

A Guide to Understanding Security Modeling in Trusted Systems, October 1992, with input from more than a 100 contributors.  Exposits what was known about information security modeling at the time of its writing.  SUNY’s Center for Information Forensics and Assurance includes the Guide in its list of classics  ØØ.

Instantiation Theory

Published in 1991, this book introduces an algebraic theory of instantiation systems and demonstrates robustness of the theory by developing a body of algebraic identities, showing that instantiation systems are inter-definable with other superficially different systems, and providing a structure theorem to the effect that every instantiation system is a subsystem of a quotient system of first-order term instantiation.   Instantiation Theory is excerpted on Google Books  ØØ.

Complete Publication List