Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets. - Zobeideh Aliannezhadi; Mohammad Abdollahi Azgomi (APSCC, 2008)