Formalising Surveillance and Identity

  • Victoria Wang (Speaker)

Activity: Talk or presentation types › Oral presentation

Period2 Apr 2014
Event titleSeminar - Cyber Resilience Networking
Event typeSeminar
LocationPortsmouth Show on map

Keywords

  • Surveillance
  • Identity
  • Formal methods
  • Logic
  • Personal identifiers