• Publications
  • Influence
Verified computing environment for a personal Internet communicator
A data processor is adapted to control the exchange of software files and data files between the personal Internet communicator and a service computer and an operating system provides a verification process, wherein the verification file list can be updated according to the status of a user.