Modular Verification of Sequential Composition for Private Channels in Maude-NPA | Publicación