Now showing items 1-1 of 1

    • Formal Analysis of V2X Revocation Protocols 

      Beitrag zu einer Konferenz
      Whitefield, Jorden; Chen, Liqun; Kargl, Frank; Paverd, Andrew; Schneider, Steve; Treharne, Helen; Wesemeyer, Stephan (Universität Ulm, 2017)