Case Study

Case Study (E.g: Run cancel seeds and collect Logs)

Case Study (Construct event graph and corresponding constraints)

Data Transition

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:

Page updated

Google Sites

Report abuse