Shellshock Bash Vulnerability Modeling Analysis Based on Petri Net | IEEE Conference Publication | IEEE Xplore