[AXS-8] Policy formal validation implementation

iotaledger / access-server

Apache License 2.0

14 stars 3 forks source link

Closed djordjeglbvc closed 4 years ago

djordjeglbvc commented 4 years ago

Summary Implement all the stages of formal validation in the form of C library

Details

[x] Task 1: policy file is valid json file, and contains correct data structure format
[x] Task 2: check data boundaries
[ ] Task 3: check for suspicious conditions

Links / references Parrent issue: #8 Parrent issue branch: iotaledger/frost/tree/tooling

JIRA: AXS-8

strahinjagolic commented 4 years ago

Task 1 done in: 77a871193bd3b6b5e2b0d54026b41aaa559fe154

Task 2 done in: 02b25a464d667e6eb2df1a948f1089da8fe4fb15