Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/05 → 31/12/07 |
Knowledge Based Model Updating for the Correctness of Security Protocols
- Orgun, Mehmet (Primary Chief Investigator)
- Zhang, Yan (Other)
- Nayak, Abhaya (Chief Investigator)
Project: Research