Security policies may be extracted from software using an automated technique developed by researchers March 9, 2022