Validation of Security Properties in Network Systems

  • Nielsen, Christoffer Rosenkilde (PhD Student)
  • Nielson, Flemming (Supervisor)
  • Fischer, Paul (Examiner)
  • Mycroft, Alan (Examiner)
  • Viganò, Luca (Examiner)
  • Nielson, Hanne Riis (Main Supervisor)

    Project Details

    Effective start/end date15/09/200505/05/2009


    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.