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 |
Be the first to leave a comment!
