• Corpus ID: 67009451

Verified computing environment for a personal Internet communicator

  title={Verified computing environment for a personal Internet communicator},
  author={Martyn G. Deobald and Jeffrey Lavin},
The personal Internet communicator (110): a data processor (202) is adapted to control the exchange of software files and data files between the personal Internet communicator (110) and a service computer; and an operating system (232) that provides a verification process, comprising: a database (412) with a plurality of software files for execution by the processor; a software update module (234) which is adapted to only allow installations of bootable devices having a key that matches a…