jModex MODel EXtraction for Verifying Security Properties of Web Applications Details and a demo of this tool can be found at: http://staff.cs.upt.ro/~petrum/index.php?n=Tools.JModex