L
L. Gong
Researcher at University of Cambridge
Publications - 2
Citations - 878
L. Gong is an academic researcher from University of Cambridge. The author has contributed to research in topics: Security policy & Cryptographic primitive. The author has an hindex of 2, co-authored 2 publications receiving 841 citations.
Papers
More filters
Proceedings ArticleDOI
Reasoning about belief in cryptographic protocols
TL;DR: A mechanism is presented for reasoning about belief as a systematic way to understand the working of cryptographic protocols and places a strong emphasis on the separation between the content and the meaning of messages.
Proceedings ArticleDOI
A secure identity-based capability system
TL;DR: The author has developed an exception-list approach to achieve rapid revocation and the idea of capability propagation trees for complete revocation to expand R.Y. Kain and C.E. Landwehr's design taxonomy of capability-based systems to cover a wider range of designs.