Reasoning about concurrency for security tunnels

Keyphrases

• Calculus 100%
• Concurrency 100%
• Deadlock 100%
• Network Security 50%
• Confidentiality 50%
• Security Goals 50%
• High Security 50%
• Key Exchange Protocol 50%
• Administrative Domain 50%
• Non-interference 50%
• Functional Problems 50%

Computer Science

• Concurrency 100%
• Deadlock 100%
• Analysis Technique 50%
• Building-Blocks 50%
• Network Security 50%
• Administrative Domain 50%
• security level 50%
• Key Exchange Protocol 50%