M. H. GoldsmithBooksThe modelling and analysis of security protocolsSkin Tumors of the Dog and CatAuthor data: Open Library