Systems and methods for data-driven secure and safe computing
System and methods for the processing of data in a secure and safe manner are disclosed. Embodiments of such system and methods may ensure the operation of policies in a manner that is dependent on the inherent properties of the data being operated on as well as the operations that are performed on that data.
1. A system for data driven secure computing, comprising: a computing system including: transformation unit logic including first logic for processing input data on a hardware processor by applying a transform to the input data to generate an output datum corresponding to an input datum of the input data received at the transformation unit, where each and every input datum received at the transformation unit has a corresponding input data associated property distinct from that input datum and specific to that input datum; and properties propagation unit logic distinct from the transformation unit logic, the properties propagation unit logic including second logic for receiving the input data associated property corresponding to the input datum received at the transformation unit and generate an output data associated property corresponding to and synchronized with the output datum generated by the transformation unit logic by applying a relation to the input data associated property, wherein the relation is based on a policy defining a composability rule associated with the input data associated property, the output data associated property is generated with a subset of data required by the transformation unit logic in generating the output datum, and the synchronization of the output data associated property generated by the properties propagation unit logic with the output datum generated by the transformation unit logic comprises genera ting the output data by the transformation unit logic and the output data associated property generated by the properties propagation unit logic at the same time.
2. The system of claim 1 , wherein the data associated property comprises a data confidentiality level or a data integrity level.
3. The system of claim 1 , wherein
the input datum is one of a set of input datums received at the transformation unit,
the output datum is one of a set of output datums generated by the transformation unit by applying the transform to generate the set of output datums based on the set of input datums,
each of the set of input datums has the corresponding input data associated property distinct from that input datum and specific to that input datum,
each of the corresponding input data associated property for the set of input datums is provided to the properties propagation unit, and
the properties propagation unit generates a set of output data associated properties comprising each output data associated property corresponding to each of the set of output datums generated by the transformation unit.
4. The system of claim 3 , wherein the computer system further comprises:
internal state logic for:
storing at least one of the set of output datums generated by the transformation unit and at least one of the corresponding output data associated properties generated by the properties propagation unit, and
providing at least one subsequent input datum to the transformation unit and at least one subsequent input data associated property corresponding to the provided at least one subsequent input datum to the properties propagation unit.
5. The system of claim 4 , wherein the internal state logic comprises a register.
6. The system of claim 3 , wherein at least one of the set of input datums comprises an instruction for the transformation unit.
7. The system of claim 6 , wherein the instructions alter the transform that the transformation unit applies to the input data.
8. The system of claim 7 , wherein these instructions comprise data non-invariant instructions.
9. The system of claim 3 , wherein the input datum of the set of input datums is based on data from a device coupled to the computing system.
10. The system of claim 9 , further comprising an input perimeter guard disposed between the device and the transformation unit and between the device and the properties propagation unit, wherein the input perimeter guard comprises logic for receiving data from the device and determining both the input datum and the input data associated property corresponding to the input datum based on a first policy.
11. The system of claim 10 , wherein the first policy is specific to the device.
12. The system of claim 11 , wherein the input perimeter guard comprises logic for generating a first enforcement action based on the first policy.
13. The system of claim 11 , wherein the input perimeter guard comprises logic for an input filter to apply to the data from the device to generate the output datum.
14. The system of claim 13 , wherein the input filter uses a key to decrypt the data from the device.
15. The system of claim 9 , further comprising an output perimeter guard disposed between the device and the transformation unit and between the device and the properties propagation unit, wherein the output perimeter guard comprises logic for receiving the output datum from the transformation unit and the output data associated property corresponding to the output datum from the properties propagation unit and determining data to provide to the device based on the output datum, the corresponding output data associated property corresponding to the output datum and a second policy.
16. The system of claim 15 , wherein the second policy is specific to the device.
17. The system of claim 15 , wherein the output perimeter guard comprises logic for generating a second enforcement action based on the second policy.