Model-Based Verification of a Security Protocol for Conditional Access to Services

✍ Scribed by G. Leduc; O. Bonaventure; L. Léonard; E. Koerner; C. Pecheur

• Book ID: 110266207
• Publisher: Springer
• Year: 1999
• Tongue: English
• Weight: 253 KB
• Volume: 14
• Category: Article
• ISSN: 0925-9856
• DOI: 10.1023/a:1008683519655