One-Time Authentication Code (OTAC) A Technical Report (2021)
Attributed to:
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://fs.hubspotusercontent00.net/hubfs/21004258/SSenStone_November2021/Pdf/Surrey_university.pdf
Type: Consultancy Report
Volume: -
Issue: -
ISBN: -