The Power of the "Always" Operator in First-Order Temporal Logic. - Michael Kaminski; Chung Kei Wong (Theor. Comput. Sci., 1996)

Digital signatures for flows and multicasts. - Chung Kei Wong; Simon S. Lam (IEEE/ACM Trans. Netw., 1999)

Secure group communications using key graphs. - Chung Kei Wong; Mohamed G. Gouda; Simon S. Lam (IEEE/ACM Trans. Netw., 2000)