John McLean (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 James W. Gray III, John McLean: Using temporal logic to specify and verify cryptographic protocols. CSFW 1995: 108-

Selection of 1 from 16 records - John McLean has 17 coauthors