Formal verification of SSH-based trusted channels
CHANG Xiaolin
QIN Ying
XING Bin
ZUO Xianghui
Machine-generated Keywords：
Publication Date：2012-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：8( 8-15 )