ProVerif verification script for the dbsp protocol