Treffer: A model checking-based framework for testing security properties of protocols under development
Title:
A model checking-based framework for testing security properties of protocols under development
Authors:
Yao, Jiangyuan a, Xin, Weiyang a, Yin, Xia b, Shi, Xingang c, Wang, Zhiliang c, ⁎, Zhou, Li d, Jin, Ting a
Source:
In Computer Networks June 2025 265
Database:
ScienceDirect