Modeling and Verifying eID Protocols (Future ID)

Computer Science

1. Security Protocol 100%
2. Protocol Specification 66%
3. Attack 66%
4. Soundness 33%
5. Sufficient Condition 33%
6. Simulation Mode 33%
7. Parallel Composition 33%
8. Formal Verification 33%
9. User 33%
10. Internet Security 16%
11. Cryptographic Protocol 16%
12. Real World 16%
13. Semantics 16%
14. Security Properties 16%
15. Classes 16%
16. Model Checking 16%
17. Static Program Analysis 16%
18. Specification Language 16%
19. Generalization 16%
20. Formal Semantics 16%