Elements of Epistemic Crypto Logic

Abstract

Jan van Eijck