3 The following organizations and individuals have contributed substantially to
4 the development of OpenBSM:
7 McAfee Research, McAfee, Inc.
33 In addition, Coverity, Inc.'s Prevent(tm) static analysis tool and Gimpel
34 Software's FlexeLint tool were used to identify a number of bugs in the
35 OpenBSM implementation.