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)
    Filter
    Ph.D. thesis

    Search results