Il-Gon KIM


Model Checking of RADIUS Protocol in Wireless Networks
Il-Gon KIM Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2005/01/01
Vol. E88-B  No. 1  pp. 397-398
Type of Manuscript:  LETTER
Category: Internet
Keyword: 
model checkingCasperCSPFDRRADIUS
 Summary | Full Text:PDF(53.6KB)