Bob does have grounds for complaint, however: the protocol tells him that he is communicating with...
By
Bob does have grounds for complaint, however: the protocol tells him that he is communicating with Alice (who is honest) but it does not cover the structured proof language Isar.
January 18, 2016 at 12:01PM
via King James Programming http://ift.tt/23aDeWC