Knowledge based model updating for the correctness of security protocols (DP0559592)

  • Zhang, Yan (PI)
  • Orgun, Mehmet (Investigator)
  • Nayak, Abhaya (Investigator)
  • Mu, Yi (Investigator)
  • Bao, Feng (Investigator)

Project: Research

Project Details

StatusFinished
Effective start/end date18/01/0517/11/09

Collaborative partners

Funding

  • Australian Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.