Millen: Hookup Security for Synchronous Machines (1990)

by J K
Venue:Proc. of CSFW’90, IEEE CS