John Graham-Cumming

Alan Turing: Intelligence & life

John Graham-Cumming, 2012 .

Laws of Non-Interference in CSP

John Graham-Cumming, John Graham-Cumming, 1993, J. Comput. Secur..

The case for open computer programs

Darrel C. Ince, John Graham-Cumming, Leslie Hatton, 2012, Nature.

The formal development of secure systems

John Graham-Cumming, John Graham-Cumming, 1992 .

The Geek Atlas - 128 Places Where Science and Technology Come Alive

John Graham-Cumming, John Graham-Cumming, 2009 .

Some laws of non-interference (CSP algebra)

John Graham-Cumming, John Graham-Cumming, 1992, [1992] Proceedings The Computer Security Foundations Workshop V.

On the refinement of non-interference

Jeff W. Sanders, John Graham-Cumming, J. Sanders, 1991, Proceedings Computer Security Foundations Workshop IV.

Hits and Miss-es: A Year Watching the Web

John Graham-Cumming, John Graham-Cumming, 1997, Comput. Networks.