학술논문
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
Document Type
Article
Author
Source
In Electronic Notes in Theoretical Computer Science 3 March 2005 125(1):91-108
Subject
Language
ISSN
1571-0661