Conference
Theory of Deductive Systems for Protocol Verification.
Authors
Li X; Lai R; Dillon TS
Editors
Koczkodaj WW; Lauer PE; Toptsis AA
Pagination
pp. 422-425
Publisher
IEEE Computer Society
Publication Date
1992
ISBN-10
0-8186-2812-X
Conference proceedings
ICCI