Concepedia

John McLean

JM

Statistics

Publications

18

Citations

1.8K

H-Index

16

Active since

1983

Affiliations

United States Naval Research Laboratory(Current)

Naval Research Laboratory Information Technology Division

John McLean is an author at United States Naval Research Laboratory specializing in computer science, computing, and computer systems.

Publications per year

1983–2008

18

Publications

18

A general theory of composition for trace sets closed under selective interleaving functions

John McLean · 2002 · 329 citations

Computing, Computer Science, Computer Systems +12

Security models and information flow

John McLean · 1990 · 275 citations

Computing, Computer Science, Information Systems +14

A security model for military message systems

Carl E. Landwehr, Constance Heitmeyer, John McLean · ACM Transactions on Computer Systems · 1984 · 163 citations · Full text

Computing, Computer Science, Computer Systems +12

A general theory of composition for a class of "possibilistic" properties

John McLean · IEEE Transactions on Software Engineering · 1996 · 152 citations

Computing, Computer Science, Computer Systems +11

The specification and modeling of computer security

John McLean · Computer · 1990 · 114 citations

Computing, Computer Science, Computer Systems +12

1–5 of 18