John McLean - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2008

Applying Formal Methods to a Certifiably Secure Software SystemConstance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean. TSE, 34(1):82-98, 2008. [doi]

2007

Formal methods in security engineering: where we ve been, where we are, where we need to goJohn McLean. ccs 2007: 1 [doi]

2006

Trustworthy Software: Why we need it, Why we don t have it, How we can get itJohn McLean. compsac 2006: 32-33 [doi]

COMPSAC Panel Session on Trustworthy ComputingAnn Miller, John McLean, O. Sami Saydjari, Jeffrey M. Voas. compsac 2006: 31 [doi]

Baker & McKenzie's annual review of developments in EU law relating to IP, IT and telecommunicationsJonathan Westwell, Miriam Andrews, John McLean, Katrina Mitchell. clsr, 22(1):20-25, 2006. [doi]

2005

Baker & McKenzie's regular article tracking developments in EU law relating to IP, IT & telecommunicationsJonathan Westwell, Miriam Andrews, John McLean, Katrina Mitchell. clsr, 21(6):452-457, 2005. [doi]

2002

The STCL test tools architectureClay Williams, Harm Sluiman, David Pitcher, Marius Slavescu, Jim Spratley, Mark Brodhun, John McLean, Charles Rankin, Karen Rosengren. IBMSJ, 41(1):74-88, 2002. [doi]

1999

Twenty Years of Formal MethodsJohn McLean. sp 1999: 115-116 [doi]

1996

A General Theory of Composition for a Class of Possibilistic PropertiesJohn McLean. TSE, 22(1):53-67, 1996. [doi]

1995

Using temporal logic to specify and verify cryptographic protocolsJames W. Gray III, John McLean. csfw 1995: 108 [doi]

1994

Confidentiality in a Replicated Architecture Trusted Database System: A Formal ModelOliver Costich, John McLean, John P. McDermott. csfw 1994: 60-65

A general theory of composition for trace sets closed under selective interleaving functionsJohn McLean. sp 1994: 79-93 [doi]

1993

New paradigms for high assurance softwareJohn McLean. nspw 1993: 42-47 [doi]

1992

Proving Noninterference and Functional Correctness Using TracesJohn McLean. jcs, 1(1):37-58, 1992.

1990

Security Models and Information FlowJohn McLean. sp 1990: 180-189

The Specification and Modeling of Computer SecurityJohn McLean. Computer, 23(1):9-16, 1990.

1988

The algebra of securityJohn McLean. sp 1988: 2-7 [doi]

1987

Reasoning About Security ModelsJohn McLean. sp 1987: 123-133

1985

A Comment on the Basic Security Theorem of Bell and LaPadulaJohn McLean. ipl, 20(2):67-70, 1985.

Two dogmas of program specificationJohn McLean. sigsoft, 10(4):85-87, 1985. [doi]

1984

A Formal Method for the Abstract Specification of SoftwareJohn McLean. JACM, 31(3):600-627, 1984. [doi]

1983

A Complete System of Temporal Logic for Specification SchemataJohn McLean. lop 1984: 360-370

1982

Rapid prototyping by means of abstract module specifications written as trace axiomsJohn K. Dixon, John McLean, David Lorge Parnas. rpr 1982: 45-49 [doi]

Sign in or sign up to see more results.

runs on WebDSL