| DaftarIsitemplate |
| Call Number |
| SEM-347 |
| Title |
| Effient model checking of network authentication protocol based on SPIN, 100-104 |
| Author |
| Zhi-hua Tan, Da-fang Zang, Li MIAO, Dan Zhao; |
| Publisher |
| Proceedings 2011 4th IEEE International Conference on computer science and information technology Juni 10-12, 2011 Chengdu, China (ICCSIT 2011) |
| Subject |
| Location |