Case Study (E.g: Run cancel seeds and collect Logs)
Case Study (Construct event graph and corresponding constraints)
Transition: Post /api/v1/orderservice/order/refresh -> Get /api/v1/cancelservice/cancelOrder
Example script: https://anonymous.4open.science/r/Webnorm_anomymous/consistency_prompt/examples/data_relationship2.py
Terminal Commands: python3 data_transition2.py
Terminal Results:
Constraint: Post /api/v1/orderservice/order/refresh.id == Get /api/v1/cancelservice/cancelOrder.orderid
Example script: https://anonymous.4open.science/r/Webnorm_anomymous/consistency_prompt/examples/input_constraint4.py
Terminal Commands: python3 input_constraint4.py
Terminal Results:
Trigger: Post /api/v1/rebookservice/rebook -> Post /api/v1/rebookservice/paydifference
Example script: https://anonymous.4open.science/r/Webnorm_anomymous/consistency_prompt/examples/trigger_relationship.py
Terminal Commands: python3 trigger_relationship.py
Terminal Results:
Constraint: Post /api/v1/rebookservice/rebook.response. ordermoneydifference > 0 -> Post /api/v1/rebookservice/paydifference
Example script: https://anonymous.4open.science/r/Webnorm_anomymous/consistency_prompt/examples/flow_relationship2.py
Terminal Commands: python3 flow_relationship2.py
Terminal Results:
Case Study (Use the Data Consistency Constraint Script to detect anomalies when facing tamper cancel.id attacks)
Example script: https://anonymous.4open.science/r/Webnorm_anomymous/consistency_prompt/examples/Anomaly_detect_example.py
Terminal Commands: python3 Anomaly_detect_example.py
Terminal Results: