A model of computation for the NRL protocol analyzer,” CSFW (1994)

by C A Meadows