Author: Mark Heckman

Publication Overview

Publication period start: 1997

Number of co-authors: 5

Co-Authors

Number of publications with favourite co-authors

Dave Peticolas

Ronald A. Olsson

Karl N. Levitt

Productive Colleagues

Most productive colleagues in number of publications

Dave Peticolas

Ronald A. Olsson

Karl N. Levitt

Publications

Heckman, Mark, Levitt, Karl N. (1998): Applying the Composition Principle to Verify a Hierarchy of Security Servers. In: HICSS 1998 , 1998, . pp. 338-347. https://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390338abs.htm

Zhang, Cui, Becker, Brian R., Peticolas, Dave, Heckman, Mark, Levitt, Karl N., Olsson, Ronald A. (1997): Verification of a Distributed Computing. In: HICSS 1997 , 1997, . pp. 252-261. https://csdl.computer.org/comp/proceedings/hicss/1997/7734/05/7734050252abs.htm