Formal verification of SSH-based trusted channels
Zuo Xianghui · Journal of Beijing Jiaotong University · 2012
A trusted channel is a secure one that is cryptographically bound with the endpoint's platform state information.The existing research about establishing trusted channels did not analyze this property theoretically.This paper firstly proposes a SSH-based trusted channel protocol.Then we formally analyze its security properties by applying model checker NuSMV.Based on the analysis results of the counter-example,this paper proposes a robust SSH-based trusted channel protocol.The methods of modeling and verification can be applied to verify the security property of the trusted channel protocols based on other secure channel techniques.