print · source · login   

SSH Protocol

Source publication: [SSH17]

Tag: security protocol

Description

SSH, short for Secure Shell, is a cryptographic network protocol that is widely used to interact securely with remote machines. The authors of [SSH17] applied model learning to three SSH implementations (OpenSSH, Bitvise and DropBear) to infer Mealy machine models, and then used model checking to verify that these models satisfy basic security properties and conform to the RFCs. The analysis showed that all tested SSH server models satisfy the stated security properties. However, several violations of the standard were uncovered.