Summary
Nearly all businesses with over $5 million in sales use some form of automated workflow, known as business logic, to manage operations. Around the world, business logic systems support essential tasks such as the administration and operation of seaports worldwide and the assembly of defense systems.
However, the vulnerabilities and exposure to loss due to operational risk from coding errors in these tools can range from annoyances to business-threatening outcomes. Identifying potentially problematic issues would provide increased resilience in the manufacturing and communications sectors and reduce inefficiencies in supply chain management.
The Business Process Logic (BPL) program aims to characterize and resolve vulnerabilities in business logic systems to protect defense-critical workflows for government and business, such as manufacturing, infrastructure, and logistics. BPL will extract representations from business logic and use those representations to characterize and mitigate faults and vulnerabilities identified in workflow environments.