| Your search for 45226 returns 3238 document(s) |
| Effient model checking of network authentication protocol based on SPIN, 100-104 |
|
Author: Zhi-hua Tan, Da-fang Zang, Li MIAO, Dan Zhao; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using SPIN model checking for transmission control protocol, 33-37 |
|
Author: Nan Jiang, Zhiqiang Chen; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| EAP-Based authentication for ad hoc network, HAL. C.133-C.138 |
|
Author: Muhammad Agni Catur Bhakti; Azween Abudllah dan Low Tan Jung; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Type-Based HFL Model Checking Algorithm (136-155) |
|
Author: Youkichi Hosoi
Naoki Kobayashi
Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking |
|
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Device authentication/ authorization protocol for home network in next generation security, (LNCS-Lecture Notes in Computer Science 5576) Hal 760-768 |
|
Author: Jong Sik Moon; Deok Gyu Lee; Im-Yeong Lee; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Aeronautical telecommunication network protocol tunnel prototype over IP based infrastructure |
|
Author: Tonny A. Sabastian, Gladhi Guarddin, Abi Rheza N., Hussein M. Muhti; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Weight-Based Unequal Clustering Rounting Protocol in Wireless Sensor Network (D7-D11) |
|
Author: Nurhayati
Sung Hee Choi
Kyung Oh lee
Kee Wook Rim; | Call Number: SEM-384 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| WAPI Secure Access Authentication Scheme for Heterogeneous Network Based on Identity-Based Cryptograph (130-135) |
|
Author: FENG Tao
JIAO Jian; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Research on Unified Indentity Authentication System Based on LDAP in Campus Network (V1-646 -- V1-649) |
|
Author: Liu Ping
Li Dongmei
Yang Xinfeng; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result