John McLean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1987–2007
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CCS | Formal methods in security engineering: where we've been, where we are, where we need to go. | John McLean |
| 2006 | COMPSAC | Trustworthy Software: Why we need it, Why we don't have it, How we can get it. | John McLean |
| 2006 | COMPSAC | COMPSAC Panel Session on Trustworthy Computing. | Ann Miller, John McLean, O. Sami Saydjari, Jeffrey M. Voas |
| 1999 | SP | Twenty Years of Formal Methods. | John McLean |
| 1994 | SP | A general theory of composition for trace sets closed under selective interleaving functions. | John McLean |
| 1993 | NSPW | New paradigms for high assurance software. | John McLean |
| 1990 | SP | Security Models and Information Flow. | John McLean |
| 1988 | SP | The algebra of security. | John McLean |
| 1987 | SP | Reasoning About Security Models. | John McLean |