Modelling and analysis of PKI-based systems using process calculi

INIS

• modeling 100%
• calculi 100%
• operation 50%
• capture 50%
• cryptography 50%
• ownership 50%
• authentication 50%
• algebra 50%

Computer Science

• Information Retrieval 100%
• Process Algebra 50%
• Cryptographic Operation 50%
• Message Passing 50%
• Authentication Protocol 50%
• Static Program Analysis 50%
• public key 50%