Specifying and Verifying SDP Protocol Based Zero Trust Architecture Using TLA+.

Luming Dong Zhi Niu Yong Zhu Wei Zhang

Published in: ICCSIE (2022)

Keyphrases

communication protocol
real time
management system
semidefinite programming
lightweight
temporal logic
communication protocols
model checking
software architecture
hardware implementation
transaction model
open systems
tcp ip
client server architecture
automated trust negotiation