• Corpus ID: 67009451

Verified computing environment for a personal Internet communicator

@inproceedings{Deobald2006VerifiedCE,
  title={Verified computing environment for a personal Internet communicator},
  author={Martyn G. Deobald and Jeffrey Lavin},
  year={2006}
}
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…