LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols

Nowadays, more and more new cryptographic protocols are emerging, and the security analysis of emerging cryptographic protocols is increasingly important. The logic of events is an axiomatic method based on theorem proving, designed around message automation with actions for possible protocol steps;...

Full description

Bibliographic Details
Main Authors: Jiawen Song, Meihua Xiao, Ke Yang, Xizhong Wang, Xiaomei Zhong
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
Cryptographic protocols
logic of events
LoET-E
theorem proving
information security
Online Access:https://ieeexplore.ieee.org/document/8709784/

Internet

https://ieeexplore.ieee.org/document/8709784/

Similar Items