Document Actions
Second Year All projects
Second Project Year (July 1, 2007 - December 31, 2007)
|
Project Code |
Project Title |
Collaboration Partners |
|
(100) |
III |
|
|
131 |
CMU & UCB |
|
|
(200) |
ITRI |
|
|
221 |
UCB |
|
|
222 |
UCB |
|
|
223 |
CMU |
|
|
(300) |
TWISC |
|
|
311 |
Software Modularity and Security: Combining Model Checking and Theorem Proving |
CMU |
|
312 |
Investigation on Advanced Remote Authentication Technologies |
CMU |
|
313 |
UCB |
|
|
314 |
UCB |
|
|
321 |
Security Technologies & Application in Wireless Sensor Networks |
UCB |
|
322 |
UCB |
|
|
331 |
CMU |
|
|
332 |
Realization of High Speed IDS Expert System (Network Security and Forensics) |
CMU |
|
(400) |
NDU |
|
|
431 |
CMU |