IBPF网动态切片

漏洞检测更精准

面向电子商务流程的CPN模型，通过动态切片技术简化逻辑漏洞分析，避免状态空间爆炸。

于王扬 · Jie, Feng · Liu, Lu · Zhai, Xiaojun · Yumeng, Cheng

Future Generation Computer Systems 2024

技术优势

设计阶段发现漏洞

基于CPN的IBPF网模型能够在设计阶段识别逻辑漏洞，提前消除安全隐患。

应用场景

• 业务流程安全：在业务流程设计阶段检测逻辑漏洞，预防安全事件。
• 系统可靠性分析：通过漏洞分析提升系统可靠性，减少维护成本。
• 形式化验证：基于Colored Petri Nets进行形式化建模与切片分析。