Hassen Saïdi Victoria Stavridou Bruno Dutertre Protocol Codesign. 106-113 2003 conf/spw/2003 Security Protocols Workshop http://dx.doi.org/10.1007/11542322_14 db/conf/spw/spw2003.html#SaidiSD03