Multiset rewriting and the complexity of bounded security protocolsUndecidability of bounded security protocols
