Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
L. Gong
Observed institutions:
SRI International,
University of Cambridge,
University of Maryland, College Park
ORCID:
0009-0007-9481-2438
Observed ORCID:
0009-0007-9481-2438
OpenAlex ID:
A5103326198
Reasoning about belief in cryptographic protocols
1990
·
L. Gong
, R. Needham
, et al.
·
IEEE Computer Society Symposium on Research in Security and Privacy
·
637
Variations on the themes of message freshness and replay-or the difficulty in devising formal methods to analyze cryptographic protocols
2002
·
L. Gong
·
IEEE Computer Security Foundations Workshop (CSFW)
·
56
A software architecture for open service gateways
2001
·
L. Gong
·
IEEE Internet Computing
·
53
Integrating security in a group oriented distributed system
2003
·
M. Reiter
, K. Birman
, et al.
·
IEEE Computer Society Symposium on Research in Security and Privacy
·
40
Logics for cryptographic protocols-virtues and limitations
2002
·
V.D. Gligor
, R. Kailar
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
34
Firewalls: an expert roundtable
1997
·
J.P. Anderson
, S. Brand
, et al.
·
IEEE Software
·
10
Show more works
View as search
Works count:
6
Citation count:
830
H-index:
6
I10-index:
6
Year
Topic
Type
