Conference Report: COMPASS '96 - The Eleventh Annual Conference on Computer Assurance, Gaithersburg, MD - June 17-21, 1996
K. Ferraiolo, L.M. Ippolito · Journal of Research of the National Institute of Standards and Technology · 1996
COMPASS '96, with its theme of "Industrial Strength Research," consisted of paper presentations, panels, a banquet speaker (Nancy Leveson, University of Washington), and a tools fair which addressed the development of new technology, the application of technology, and the transfer of research into practice.Specific topics included formal methods, verification, testing, safety, and security.This year's conference attracted over 120 participants from the U.S. government, industry