Differences

This shows you the differences between two versions of the page.

--- pe-bpmn-editor_sgxcomputation [2018/04/20 05:20]
admin created
+++ pe-bpmn-editor_sgxcomputation [2020/07/01 09:46] (current)
pullonen [Optional input parameters]
@@ Line 1: / Line 1: @@
 ====== SGXComputation ======
+This is a task used for Intel SGX computations - task executed in secure hardware. As input it can take public data or data protected for this enclave. Similarly as output it can give either public output or output for this enclave only.
+In addition, this task can be combined with public key encryption to give an output that is encrypted witha given public key.
+===== Required input objects =====
+...n data objects (enclave data, data) from SGXComputation or [[pe-bpmn-editor_sgxprotect|SGXProtect]] tasks
+===== Required input parameters =====
+group (with SGXComputation, [[pe-bpmn-editor_sgxprotect|SGXProtect]] or [[pe-bpmn-editor_sgxattestationenclave|SGXAttestationEnclave]] tasks)
+===== Optional input parameters =====
+input script (direct input or input as an output of another stereotype task)
+The analysis of SGXComputation stereotype supports the case where the computation script is replaced by another stereotype (doing some protection). In this case it is correct to choose that the output is Public output for SGX and fix the parameter that the script is //Output of another stereotype//
+===== Required output objects =====
+data object (enclave data or data)
+===== Restrictions =====
+**Restriction:** task must have at least one input and exactly one output data objects\\
+**Error:** at least 1 input and exactly 1 output are required
+**Restriction:** "groupId" property must exist under stereotype details object - group must have been selected and saved and "groupId" information must not have been deleted from model’s file\\
+**Error:** groupId is undefined
+**Restriction:** "inputScript" property must exist under stereotype details object - "inputScript" can be empty, but must not have been deleted from model’s file\\
+**Error:** inputScript is undefined
+**Restriction:** in case input script is selected as an output of another stereotype task, this task must have selected stereotype attached to it on model and in model’s file\\
+**Error:** inputScript stereotype is missing
+**Restriction:** "inputTypes" property must exist under stereotype details object - input types must have been selected for each input and saved and "inputTypes" information must not have been deleted from model’s file\\
+**Error:** input types are undefined
+**Restriction:** "outputTypes" property must exist under stereotype details object - output type must have been selected and saved and "outputTypes" information must not have been deleted from model’s file\\
+**Error:** output type is undefined
+**Restriction:** at least one input data object must have type selected as "SGXPrivate"\\
+**Error:** at least 1 input must be selected as encrypted
+**Restriction:** all input data objects that have type selected as "SGXPrivate" must be data objects from [[pe-bpmn-editor_sgxprotect|SGXProtect]] tasks or data objects selected as "SGXPrivate" from SGXComputation tasks - they must be all from tasks of the same stereotype group\\
+**Error:** all inputs marked as SGXPrivate are not SGXPrivate
+===== Group specific restrictions =====
+**Restriction:** all group tasks from the same stereotype group must be on the same lane\\
+**Error:** all group tasks must be on the same lane

PLEAK Wiki

User Tools

Site Tools

Differences

Page Tools