Abstract: A computing device includes a virtualized system including: a set of one or more virtual machines (VMs) that execute one or more guest operating systems, a set of one or more virtual machine monitors (VMMs) corresponding to the set of one or more VMs respectively: a formally verified microkernel to abstract hardware resources of the computing device, an isolated environment that is addressable only from the formally verified microkernel, the isolated environment including: a policy manager that manages a set of one or more policies for the virtualized system including installing the set of policies to a policy enforcement point, where the set of policies includes one or more zero trust policies, a confidence level determination engine that calculates a confidence level for a system or user action based at least on inputs including identity information, and provides the calculated confidence level to the policy manager. The policy enforcement point enforces the set of policies.

Abstract: A pointing device for entering data into an information processing system for a 3-dimensional graphical user interface. The pointing device comprises: a switch mounted on a pointing device for producing a first signal during actuation by a vertical downward pressure on a first region of the switch; a circuit for coupling the first signal to a Z-axis on a display attached to the information processing system so as to control movement of information along the Z-axis presented on the display. In another embodiment, the switch produces a second signal by a vertical downward pressure on a second region of the switch; and a circuit for coupling the second signal to a Z-axis on the display so as to move information present on the display along the Z-axis in a direction opposite to that of the movement along the Z-axis in response to the first signal.

Abstract: A pointing device for entering data into an information processing system for a 3-dimensional graphical user interface. The pointing device comprises: a switch mounted on a pointing device for producing a first signal during actuation by a vertical downward pressure on a first region of the switch; a circuit for coupling the first signal to a Z-axis on a display attached to the information processing system so as to control movement of information along the Z-axis presented on the display. In another embodiment, the switch produces a second signal by a vertical downward pressure on a second region of the switch; and a circuit for coupling the second signal to a Z-axis on the display so as to move information present on the display along the Z-axis in a direction opposite to that of the movement along the Z-axis in response to the first signal.