M. Lee Badger, Trusted Information Systems, Inc.