Analysis the Properties of TLS Based on Temporal Logic of Knowledge | IEEE Conference Publication | IEEE Xplore