Used together with:
public
(1)
fix
(1)
break
(1)
fdr
(1)
use
(1)
Stem
needham$ (
all stems
)
1 papers:
TACAS-1996-Lowe
#protocol
#using
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (
GL
), pp. 147–166.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.
TACAS-1996-Lowe #protocol #using
TACAS-1996-Lowe #protocol #using