Michael Backes Agostino Cortesi Matteo Maffei Causality-based Abstraction of Multiplicity in Security Protocols. 355-369 2007 CSF http://dx.doi.org/10.1109/CSF.2007.11 conf/csfw/2007 db/conf/csfw/csf2007.html#BackesCM07