TY  - RPRT
TI  - State Space Reduction with Message Inspection in Security Protocol Model Checking
AU  - Stylianos Basagiannis
AU  - Panagiotis Katsaros
AU  - Andrew Pombortsis
PY  - 2009
UR  - https://arxiv.org/abs/0909.0174
ID  - 0909.0174
ER  -