Formalising Surveillance and Identity

Wang, V. (Speaker)

Activity: Talk or presentation typesOral presentation

Period2 Apr 2014
Event titleSeminar - Cyber Resilience Networking : null
Event typeSeminar
LocationPortsmouth

Keywords

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