TY  - RPRT
TI  - Stateful Security Protocol Verification
AU  - Li Li
AU  - Jun Pang
AU  - Yang Liu
AU  - Jun Sun
AU  - Jin Song Dong
PY  - 2014
UR  - https://arxiv.org/abs/1403.2237
ID  - 1403.2237
ER  -