Verified Security Protocol Modeling and Implementation with AnBx

Keyphrases

• Abstraction Methods 50%
• Application Logic 50%
• Communication Abstraction 50%
• Data Abstraction 50%
• Declarative Modeling 50%
• Distributed Protocol 100%
• E-payment 50%
• High Security 50%
• Java Code 50%
• Payment Protocol 50%
• Protocol Implementation 100%
• Protocol Logic 50%
• Protocol Modeling 100%
• Security Analysis 50%
• Security Assurance 50%
• Security Protocols 100%
• Set Abstraction 50%
• Vehicle Communication 50%
• Verification Tool 50%

Computer Science

• Application Logic 50%
• Data Abstraction 50%
• Distributed Protocol 100%
• Electronic Payment 50%
• Payment Protocol 50%
• Security Analysis 50%
• security level 50%
• Security protocols 100%
• Source Coding 50%