Research project

VAC+: Verifier of Access Control

  • Research groups:
  • Research funder:
    EPSRC
  • Status:
    Not active