Figure 13
From: A formal analysis method for composition protocol based on model checking
NSB breaks secrecy and authentication attack path.
Figure 13 | Scientific Reports
From: A formal analysis method for composition protocol based on model checking
NSB breaks secrecy and authentication attack path.
