DETECTING SECOND-ORDER SECURITY VULNERABILITIES VIA MODELLING INFORMATION FLOW THROUGH… Application WO-2020167469-A1 World Intellectual Property Organisation (WIPO) 20 Aug 2020