Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets | IEEE Conference Publication | IEEE Xplore