Modular Verification of Sequential Composition for Private Channels in Maude-NPA

Keyphrases

• Sequential Composition 100%
• Maude-NPA 100%
• Modular Verification 100%
• Private Channel 100%
• Large Classes 50%
• Verification Method 50%
• Tool Support 50%
• Channel Communication 50%
• Equational Theory 50%
• Parametric Specification 50%
• Reachability Properties 50%
• Cryptographic Protocol Analysis 50%
• Communication Security 50%
• Key Establishment Protocol 50%

Computer Science

• Sequential Composition 100%
• Private Channel 100%
• Cryptographic Protocol 50%
• Key Establishment 50%
• Equational Theory 50%
• Communication Security 50%