DMCA

Towards A Formal Verification Of A Secure Distributed System And Its Applications (1994)

by Cui Zhang , Rob Shaw , Mark R. Heckman , Gregory D. Benson , Myla Archer , Karl Levitt , Ronald A. Olsson
Venue:In Proceedings of the 17th National Computer Security Conference
Citations:2 - 1 self