Information Sharing in Secure Systems. - James W. Gray III (CSFW, 1990)

Probabilistic Interference. - James W. Gray III (S&P, 1990)

On Information Flow Security Models. - James W. Gray III (CSFW, 1991)

Toward a Mathematical Foundation for Information Flow Security. - James W. Gray III (S&P, 1991)

Toward a Mathematical Foundation for Information. - James W. Gray III (J. Comput. Secur., 1992)

On Analyzing the Bus-Contention Channel Under Fuzzy Time. - James W. Gray III (CSFW, 1993)

On introducing noise into the bus-contention channel. - James W. Gray III (S&P, 1993)

Using temporal logic to specify and verify cryptographic protocols. - James W. Gray III; John McLean (CSFW, 1995)

The epistemic representation of information flow security in probabilistic systems. - Paul F. Syverson; James W. Gray III (CSFW, 1995)

Protocols for issuing public-key certificates over the Internet. - James W. Gray III; Kin Fai Epsilon Ip (ICICS, 1997)

On the Clark-Jacob Version of SPLICE/AS. - James W. Gray III (Inf. Process. Lett., 1997)

Protection Against EEPROM Modification Attacks. - Wai W. Fung; James W. Gray III (ACISP, 1998)

A Study of Least Privilege in CapBasED-AMS. - Patrick C. K. Hung; Kamalakar Karlapalem; James W. Gray III (CoopIS, 1998)

A Logical Approach to Multilevel Security of Probabilistic Systems. - James W. Gray III; Paul F. Syverson (Distributed Comput., 1998)

Provable Security for Cryptographic Protocols - Exact Analysis and Engineering Applications. - James W. Gray III; Kin Fai Epsilon Ip; King-Shan Lui (J. Comput. Secur., 1998)

On m-Permutation Protection Scheme Against Modification Attack. - Wai W. Fung; James W. Gray III (ACISP, 1999)

Least Privilege Security in CapBasED-AMS. - Patrick C. K. Hung; Kamalakar Karlapalem; James W. Gray III (Int. J. Cooperative Inf. Syst., 1999)

Protection of Keys against Modification Attack. - Wai W. Fung; Mordecai J. Golin; James W. Gray III (S&P, 2001)