Giampaolo Bella Stefano Bistarelli Soft Constraint Programming to Analysing Security Protocols. 545-572 2004 4 TPLP 5-6 db/journals/tplp/tplp4.html#BellaB04 http://dx.doi.org/10.1017/S1471068404002121