Rigorous specifications of the SSH Transport Layer (original) (raw)

2011

Abstract

Abstract. This document presents (semi-) formal specifications of the security protocol SSH, more specifically the transport layer protocol, and describe a source code review of OpenSSH, the leading implementation of SSH, using these specifications. Our ...

Aleksy Schubert hasn't uploaded this paper.

Let Aleksy know you want this paper to be uploaded.

Ask for this paper to be uploaded.