Author: Mark Heckman
Publications
Publication period start: 1997
Number of co-authors: 5
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
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