An explicit model of belief change for cryptographic protocol verification | BCIT Institutional Repository

An explicit model of belief change for cryptographic protocol verification

Hunter, A., & Delgrande, J. , P. (2007). An explicit model of belief change for cryptographic protocol verification. Proceedings Of The 8Th International Symposium On Logical Formalizations Of Commonsense Reasoning, 1-6. Retrieved from https://ocs.aaai.org/Papers/Symposia/Spring/2007/SS-07-05/SS07-05-012.pdf