PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot.
Zhuoruo ZhangChenyang YuHe HuangRui ChangMingshuai ChenQinming DaiWenbo ShenYongwang ZhaoKui RenPublished in: CoRR (2022)
Keyphrases
- authentication protocol
- smart card
- security analysis
- password authentication
- lightweight
- security protocols
- authentication scheme
- public key
- user authentication
- cryptographic protocols
- rfid systems
- key distribution
- rfid tags
- authentication mechanism
- mutual authentication
- real time
- secret key
- security requirements
- information systems
- trusted third party
- session key
- security issues