Modifying access privileges to secure resources in an autonomous vehicle
Device security across multiple operating system modalities, including: allocating, by a hypervisor, to a first virtual machine comprising a first operating system, based on the first modality, a first one or more access privileges to one or more resources; allocating, by the hypervisor, to a second virtual machine comprising a second operating system, based on the second modality, a second one or more access privileges to the one or more resources; and modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine.
1. A method for device security across multiple operating system modalities comprising:
allocating, by a hypervisor, to a first virtual machine comprising a first operating system, based on a first modality, a first one or more access privileges to one or more resources;
allocating, by the hypervisor, to a second virtual machine comprising a second operating system, based on a second modality, a second one or more access privileges to the one or more resources; and
modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine;
wherein the hypervisor determines the first one or more access privileges by accessing a table or data structure associated with the first modality or the second modality with the one or more of the access privileges; and
wherein the hypervisor, the first virtual machine, and the second virtual machine are implemented by an autonomous vehicle.
2. The method of claim 1 , wherein the change in the execution state of the first virtual machine comprises one or more of: a suspension of the first virtual machine, a termination of the first virtual machine, or a resuming execution of the first virtual machine.
3. The method of claim 1 , wherein the one or more resources comprise one or more devices.
4. The method of claim 1 , wherein the first operating system is of a first modality and the second operating system is of a second modality.
5. The method of claim 1 , wherein the first operating system comprises a formally verified operating system and the second operating system comprises an unverified operating system.
6. The method of claim 1 , further comprising passing, by the first virtual machine to the second virtual machine, one or more data values associated with the one or more resources.
7. An apparatus for device security across multiple operating system modalities, comprising:
one or more processors and memory, wherein the one or more processors are configured to perform steps comprising:
allocating, by a hypervisor, to a first virtual machine comprising a first operating system, based on a first modality, a first one or more access privileges to one or more resources;
allocating, by the hypervisor, to a second virtual machine comprising a second operating system, based on a second modality, a second one or more access privileges to the one or more resources; and
modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine;
wherein the hypervisor determines the first one or more access privileges by accessing a table or data structure associated with the first modality or the second modality with the one or more of the access privileges; and
wherein the hypervisor, the first virtual machine, and the second virtual machine are implemented by an autonomous vehicle.
8. The apparatus of claim 7 , wherein the change in the execution state of the first virtual machine comprises one or more of: a suspension of the first virtual machine, a termination of the first virtual machine, or a resuming execution of the first virtual machine.
9. The apparatus of claim 7 , wherein the one or more resources comprise one or more devices.
10. The apparatus of claim 7 , wherein the first operating system is of a first modality and the second operating system is of a second modality.
11. The apparatus of claim 7 , wherein the first operating system comprises a formally verified operating system and the second operating system comprises an unverified operating system.
12. The apparatus of claim 7 , further comprising passing, by the first virtual machine to the second virtual machine, one or more data values associated with the one or more resources.
13. An autonomous vehicle configured device security across multiple operating system modalities, the autonomous vehicle comprising an apparatus comprising:
one or more processors and memory, wherein the one or more processors are configured to perform steps comprising:
allocating, by a hypervisor, to a first virtual machine comprising a first operating system, based on a first modality, a first one or more access privileges to one or more resources;
allocating, by the hypervisor, to a second virtual machine comprising a second operating system, based on a second modality, a second one or more access privileges to the one or more resources; and
modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine;
wherein the hypervisor determines the first one or more access privileges by accessing a table or data structure associated with the first modality or the second modality with the one or more of the access privileges; and
wherein the hypervisor, the first virtual machine, and the second virtual machine are implemented by the autonomous vehicle.
14. The autonomous vehicle of claim 13 , wherein the change in the execution state of the first virtual machine comprises one or more of: a suspension of the first virtual machine, a termination of the first virtual machine, or a resuming execution of the first virtual machine.
15. The autonomous vehicle of claim 13 , wherein the one or more resources comprise one or more devices.
16. The autonomous vehicle of claim 13 , wherein the first operating system is of a first modality and the second operating system is of a second modality.
17. The autonomous vehicle of claim 13 , wherein the first operating system comprises a formally verified operating system and the second operating system comprises an unverified operating system.
18. A computer program product disposed upon a non-transitory computer readable medium, the computer program product comprising computer program instructions for device security across multiple operating system modalities that, when executed, cause a computer system to carry out the steps of:
allocating, by a hypervisor, to a first virtual machine comprising a first operating system, based on a first modality, a first one or more access privileges to one or more resources;
allocating, by the hypervisor, to a second virtual machine comprising a second operating system, based on a second modality, a second one or more access privileges to the one or more resources; and
modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine;
wherein the hypervisor determines the first one or more access privileges by accessing a table or data structure associated with the first modality or the second modality with the one or more of the access privileges; and
wherein the hypervisor, the first virtual machine, and the second virtual machine are implemented by an autonomous vehicle.