Modernizing Software Supply Chain Security | Finite State Security Shorts