AIF-ω: Set-Based Protocol Abstraction with Countable Families

Keyphrases

• Abstraction Methods 50%
• Countable Family 100%
• Family of Sets 50%
• First-order 50%
• Fixed Set 50%
• Horn Clauses 50%
• Protocol Verification 50%
• ProVerif 100%
• Set-based 100%
• Stateful Protocols 50%
• Verification Problem 100%

Computer Science

• Protocol Verification 50%
• State Information 100%