in a computer networkUS6249872Jan 5, 1998Jun 19, 2001Intel CorporationMethod and apparatus for increasing security against unauthorized write access to a protected memoryUS6275976 *Feb 25, 1997Aug 14, 2001Joseph M. ScanduraAutomated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specificationsUS6304