Open AccessFormal verification of IFF and NSLPK authentication protocols with CiMPG (S)
Author(s) -
Thet Wai
Publication year - 2021
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2021-037
Subject(s) - computer science , programming language , formal verification , proof assistant , authentication (law) , algebraic specification , formal proof , automated theorem proving , generator (circuit theory) , formal methods , theoretical computer science , mathematical proof , formal specification , mathematics , computer security , power (physics) , physics , geometry , quantum mechanics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom