Efficient detection of failure modes in electronic commerce protocols | Publicación