Document Actions
iCAST-CMU projects
First Project Year (May 1, 2006 - June 30, 2007) - CMU only
|
Project Code |
Project Title |
Collaboration Partners |
|
(200) |
ITRI |
|
|
203 |
CMU |
|
|
(300) |
TWISC |
|
|
303 |
Investigation on Advanced Remote Authentication Technologies |
CMU |
|
304 |
CMU |
|
|
305 |
Software Modularity and Security: Combining Model Checking and Theorem Proving - CMU |
CMU |
|
306 |
Realization of High Speed IDS Expert System (Network Security and Forensics) - CMU |
CMU |
|
(400) |
NDU |
|
|
401 |
CMU |