scispace - formally typeset
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.