Author: Mark Heckman

Publications

Publication period start: 1997
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Dave Peticolas
1
Ronald A. Olsson
1
Karl N. Levitt
2

Productive Colleagues

Most productive colleagues in number of publications
Dave Peticolas
1
Ronald A. Olsson
1
Karl N. Levitt
6

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