Verification of the IBOS Browser Security Properties in Reachability Logic

Stephen Skeirik, José Meseguer, Camilo Rocha

This paper presents a rewriting logic specification of the Illinois Browser Operating System (IBOS) and defines several security properties, including the same-origin policy (SOP)…