| DaftarIsitemplate | 
| Call Number | 
| Pub Staf.JN-0006 | 
| Title | 
| Formal analysis of an authentication protocol for UMTS ( Universal Mobile Telecommunications System) using avispa/ Ilham W. Kurnia; L. Yohanes Stefanus; Ari Saptawijaya | 
| Author | 
| Kurnia, Ilham W.; Stefanus, L. Yohanes; Saptawijaya, Ari | 
| Publisher | 
| Subject | 
| Location |