An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols.
Saved in:
| Title: | An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols. |
|---|---|
| Authors: | Ahmadi, S.1 sharar.ahmadi@aut.ac.ir, Fallah, M. S.1 msfallah@aut.ac.ir |
| Source: | Bulletin of the Iranian Mathematical Society. Oct2018, Vol. 44 Issue 5, p1243-1265. 23p. 1 Illustration, 10 Diagrams, 1 Chart. |
| Database: | Academic Search Ultimate |
| ISSN: | 10186301 |
|---|---|
| DOI: | 10.1007/s41980-018-0087-9 |
