A verification framework for stateful security protocols

A long-standing research problem is how to efficiently verify security protocols with tamper-resistant global states, especially when the global states evolve unboundedly. We propose a protocol specification framework, which facilitates explicit modeling of states and state transformations. On the b...

Full description

Saved in:
Bibliographic Details
Main Authors: LI, Li, DONG, Naipeng, PANG, Jun, SUN, Jun, BAI, Guangdong, LIU, Yang, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2017
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/4722
https://ink.library.smu.edu.sg/context/sis_research/article/5725/viewcontent/Verification_Framework_ICFEM_2017_av.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English