vishalmishra434 / rpms / openssh

Forked from rpms/openssh a month ago
Clone
Jakub Jelen d19ba9
diff -up openssh-8.0p1/cipher-ctr.c.fips openssh-8.0p1/cipher-ctr.c
Jakub Jelen d19ba9
--- openssh-8.0p1/cipher-ctr.c.fips	2019-07-23 14:55:45.326525641 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/cipher-ctr.c	2019-07-23 14:55:45.401526401 +0200
Jakub Jelen 535d34
@@ -179,7 +179,8 @@ evp_aes_128_ctr(void)
Jakub Jelen 535d34
 	aes_ctr.do_cipher = ssh_aes_ctr;
Jakub Jelen 535d34
 #ifndef SSH_OLD_EVP
Jakub Jelen 535d34
 	aes_ctr.flags = EVP_CIPH_CBC_MODE | EVP_CIPH_VARIABLE_LENGTH |
Jakub Jelen 535d34
-	    EVP_CIPH_ALWAYS_CALL_INIT | EVP_CIPH_CUSTOM_IV;
Jakub Jelen 535d34
+	    EVP_CIPH_ALWAYS_CALL_INIT | EVP_CIPH_CUSTOM_IV |
Jakub Jelen 535d34
+	    EVP_CIPH_FLAG_FIPS;
Jakub Jelen 535d34
 #endif
Jakub Jelen 535d34
 	return (&aes_ctr);
Jakub Jelen 535d34
 }
Jakub Jelen d19ba9
diff -up openssh-8.0p1/dh.c.fips openssh-8.0p1/dh.c
Jakub Jelen d19ba9
--- openssh-8.0p1/dh.c.fips	2019-04-18 00:52:57.000000000 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/dh.c	2019-07-23 14:55:45.401526401 +0200
Jakub Jelen 81a703
@@ -152,6 +152,12 @@ choose_dh(int min, int wantbits, int max
Jakub Jelen 81a703
 	int best, bestcount, which, linenum;
Jakub Jelen 81a703
 	struct dhgroup dhg;
Jakub Jelen 81a703
 
Jakub Jelen 81a703
+	if (FIPS_mode()) {
Jakub Jelen 81a703
+		logit("Using arbitrary primes is not allowed in FIPS mode."
Jakub Jelen 81a703
+		    " Falling back to known groups.");
Jakub Jelen 81a703
+		return (dh_new_group_fallback(max));
Jakub Jelen 81a703
+	}
Jakub Jelen 81a703
+
Jakub Jelen 81a703
 	if ((f = fopen(_PATH_DH_MODULI, "r")) == NULL) {
Jakub Jelen 81a703
 		logit("WARNING: could not open %s (%s), using fixed modulus",
Jakub Jelen 81a703
 		    _PATH_DH_MODULI, strerror(errno));
Jakub Jelen 81a703
@@ -489,4 +495,38 @@ dh_estimate(int bits)
Jakub Jelen 81a703
 	return 8192;
Jakub Jelen 81a703
 }
Jakub Jelen 81a703
 
Jakub Jelen 81a703
+/*
Jakub Jelen 81a703
+ * Compares the received DH parameters with known-good groups,
Jakub Jelen 81a703
+ * which might be either from group14, group16 or group18.
Jakub Jelen 81a703
+ */
Jakub Jelen 81a703
+int
Jakub Jelen 81a703
+dh_is_known_group(const DH *dh)
Jakub Jelen 81a703
+{
Jakub Jelen 81a703
+	const BIGNUM *p, *g;
Jakub Jelen 81a703
+	const BIGNUM *known_p, *known_g;
Jakub Jelen 81a703
+	DH *known = NULL;
Jakub Jelen 81a703
+	int bits = 0, rv = 0;
Jakub Jelen 81a703
+
Jakub Jelen 81a703
+	DH_get0_pqg(dh, &p, NULL, &g);
Jakub Jelen 81a703
+	bits = BN_num_bits(p);
Jakub Jelen 81a703
+
Jakub Jelen 81a703
+	if (bits <= 3072) {
Jakub Jelen 81a703
+		known = dh_new_group14();
Jakub Jelen 81a703
+	} else if (bits <= 6144) {
Jakub Jelen 81a703
+		known = dh_new_group16();
Jakub Jelen 81a703
+	} else {
Jakub Jelen 81a703
+		known = dh_new_group18();
Jakub Jelen 81a703
+	}
Jakub Jelen 81a703
+
Jakub Jelen 81a703
+	DH_get0_pqg(known, &known_p, NULL, &known_g);
Jakub Jelen 81a703
+
Jakub Jelen 81a703
+	if (BN_cmp(g, known_g) == 0 &&
Jakub Jelen 81a703
+	    BN_cmp(p, known_p) == 0) {
Jakub Jelen 81a703
+		rv = 1;
Jakub Jelen 81a703
+	}
Jakub Jelen 81a703
+
Jakub Jelen 81a703
+	DH_free(known);
Jakub Jelen 81a703
+	return rv;
Jakub Jelen 81a703
+}
Jakub Jelen 81a703
+
Jakub Jelen 81a703
 #endif /* WITH_OPENSSL */
Jakub Jelen d19ba9
diff -up openssh-8.0p1/dh.h.fips openssh-8.0p1/dh.h
Jakub Jelen d19ba9
--- openssh-8.0p1/dh.h.fips	2019-04-18 00:52:57.000000000 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/dh.h	2019-07-23 14:55:45.401526401 +0200
Jakub Jelen 81a703
@@ -43,6 +43,7 @@ DH	*dh_new_group_fallback(int);
Jakub Jelen 81a703
 
Jakub Jelen 81a703
 int	 dh_gen_key(DH *, int);
Jakub Jelen 81a703
 int	 dh_pub_is_valid(const DH *, const BIGNUM *);
Jakub Jelen 81a703
+int	 dh_is_known_group(const DH *);
Jakub Jelen 81a703
 
Jakub Jelen 81a703
 u_int	 dh_estimate(int);
Jakub Jelen 81a703
 
Jakub Jelen d19ba9
diff -up openssh-8.0p1/kex.c.fips openssh-8.0p1/kex.c
Jakub Jelen d19ba9
--- openssh-8.0p1/kex.c.fips	2019-07-23 14:55:45.395526340 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/kex.c	2019-07-23 14:55:45.402526411 +0200
Jakub Jelen d19ba9
@@ -199,7 +199,10 @@ kex_names_valid(const char *names)
Petr Lautrbach 802815
 	for ((p = strsep(&cp, ",")); p && *p != '\0';
Petr Lautrbach 802815
 	    (p = strsep(&cp, ","))) {
Petr Lautrbach 802815
 		if (kex_alg_by_name(p) == NULL) {
Petr Lautrbach 802815
-			error("Unsupported KEX algorithm \"%.100s\"", p);
Petr Lautrbach 802815
+			if (FIPS_mode())
Petr Lautrbach 802815
+				error("\"%.100s\" is not allowed in FIPS mode", p);
Petr Lautrbach 802815
+			else
Petr Lautrbach 802815
+				error("Unsupported KEX algorithm \"%.100s\"", p);
Petr Lautrbach 802815
 			free(s);
Petr Lautrbach 802815
 			return 0;
Petr Lautrbach 802815
 		}
Jakub Jelen d19ba9
diff -up openssh-8.0p1/kexgexc.c.fips openssh-8.0p1/kexgexc.c
Jakub Jelen d19ba9
--- openssh-8.0p1/kexgexc.c.fips	2019-04-18 00:52:57.000000000 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/kexgexc.c	2019-07-23 14:55:45.402526411 +0200
Jakub Jelen 535d34
@@ -28,6 +28,7 @@
Petr Lautrbach 802815
 
Jakub Jelen 132f8f
 #ifdef WITH_OPENSSL
Petr Lautrbach 802815
 
Jakub Jelen cb3595
+#include <openssl/crypto.h>
Petr Lautrbach 802815
 #include <sys/types.h>
Petr Lautrbach 802815
 
Jakub Jelen 6cf9b8
 #include <openssl/dh.h>
Jakub Jelen d19ba9
@@ -113,6 +114,10 @@ input_kex_dh_gex_group(int type, u_int32
Jakub Jelen 81a703
 		r = SSH_ERR_ALLOC_FAIL;
Jakub Jelen 81a703
 		goto out;
Jakub Jelen 81a703
 	}
Jakub Jelen 81a703
+	if (FIPS_mode() && dh_is_known_group(kex->dh) == 0) {
Jakub Jelen 81a703
+		r = SSH_ERR_INVALID_ARGUMENT;
Jakub Jelen 81a703
+		goto out;
Jakub Jelen 81a703
+	}
Jakub Jelen 81a703
 	p = g = NULL; /* belong to kex->dh now */
Jakub Jelen 81a703
 
Jakub Jelen 81a703
 	/* generate and send 'e', client DH public key */
Jakub Jelen d19ba9
diff -up openssh-8.0p1/Makefile.in.fips openssh-8.0p1/Makefile.in
Jakub Jelen d19ba9
--- openssh-8.0p1/Makefile.in.fips	2019-07-23 14:55:45.396526350 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/Makefile.in	2019-07-23 14:55:45.402526411 +0200
Jakub Jelen d19ba9
@@ -180,25 +180,25 @@ libssh.a: $(LIBSSH_OBJS)
Jakub Jelen 535d34
 	$(RANLIB) $@
Jakub Jelen 535d34
 
Jakub Jelen 535d34
 ssh$(EXEEXT): $(LIBCOMPAT) libssh.a $(SSHOBJS)
Jakub Jelen 535d34
-	$(LD) -o $@ $(SSHOBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(SSHLIBS) $(LIBS) $(GSSLIBS)
Jakub Jelen 535d34
+	$(LD) -o $@ $(SSHOBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lfipscheck $(SSHLIBS) $(LIBS) $(GSSLIBS)
Jakub Jelen 535d34
 
Jakub Jelen 535d34
 sshd$(EXEEXT): libssh.a	$(LIBCOMPAT) $(SSHDOBJS)
Jakub Jelen 535d34
-	$(LD) -o $@ $(SSHDOBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(SSHDLIBS) $(LIBS) $(GSSLIBS) $(K5LIBS)
Jakub Jelen 535d34
+	$(LD) -o $@ $(SSHDOBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lfipscheck $(SSHDLIBS) $(LIBS) $(GSSLIBS) $(K5LIBS)
Jakub Jelen 535d34
 
Jakub Jelen 51f5c1
 scp$(EXEEXT): $(LIBCOMPAT) libssh.a $(SCP_OBJS)
Jakub Jelen 51f5c1
 	$(LD) -o $@ $(SCP_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(LIBS)
Jakub Jelen 535d34
 
Jakub Jelen 51f5c1
 ssh-add$(EXEEXT): $(LIBCOMPAT) libssh.a $(SSHADD_OBJS)
Jakub Jelen 51f5c1
-	$(LD) -o $@ $(SSHADD_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(LIBS)
Jakub Jelen 51f5c1
+	$(LD) -o $@ $(SSHADD_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lfipscheck $(LIBS)
Jakub Jelen 535d34
 
Jakub Jelen 51f5c1
 ssh-agent$(EXEEXT): $(LIBCOMPAT) libssh.a $(SSHAGENT_OBJS)
Jakub Jelen 51f5c1
-	$(LD) -o $@ $(SSHAGENT_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(LIBS)
Jakub Jelen 51f5c1
+	$(LD) -o $@ $(SSHAGENT_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lfipscheck $(LIBS)
Jakub Jelen 535d34
 
Jakub Jelen 51f5c1
 ssh-keygen$(EXEEXT): $(LIBCOMPAT) libssh.a $(SSHKEYGEN_OBJS)
Jakub Jelen 51f5c1
-	$(LD) -o $@ $(SSHKEYGEN_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(LIBS)
Jakub Jelen 51f5c1
+	$(LD) -o $@ $(SSHKEYGEN_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lfipscheck $(LIBS)
Jakub Jelen 535d34
 
Jakub Jelen 51f5c1
 ssh-keysign$(EXEEXT): $(LIBCOMPAT) libssh.a $(SSHKEYSIGN_OBJS)
Jakub Jelen 51f5c1
-	$(LD) -o $@ $(SSHKEYSIGN_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(LIBS)
Jakub Jelen 51f5c1
+	$(LD) -o $@ $(SSHKEYSIGN_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lfipscheck $(LIBS)
Jakub Jelen 535d34
 
Jakub Jelen 51f5c1
 ssh-pkcs11-helper$(EXEEXT): $(LIBCOMPAT) libssh.a $(P11HELPER_OBJS)
Jakub Jelen 51f5c1
 	$(LD) -o $@ $(P11HELPER_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lssh -lopenbsd-compat $(LIBS)
Jakub Jelen d19ba9
@@ -216,7 +216,7 @@ ssh-cavs$(EXEEXT): $(LIBCOMPAT) libssh.a
Jakub Jelen 51f5c1
 	$(LD) -o $@ ssh-cavs.o $(SKOBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(LIBS)
Jakub Jelen 535d34
 
Jakub Jelen 51f5c1
 ssh-keyscan$(EXEEXT): $(LIBCOMPAT) libssh.a $(SSHKEYSCAN_OBJS)
Jakub Jelen 51f5c1
-	$(LD) -o $@ $(SSHKEYSCAN_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lssh $(LIBS)
Jakub Jelen 51f5c1
+	$(LD) -o $@ $(SSHKEYSCAN_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat -lssh -lfipscheck $(LIBS)
Jakub Jelen 535d34
 
Jakub Jelen 51f5c1
 sftp-server$(EXEEXT): $(LIBCOMPAT) libssh.a $(SFTPSERVER_OBJS)
Jakub Jelen 51f5c1
 	$(LD) -o $@ $(SFTPSERVER_OBJS) $(LDFLAGS) -lssh -lopenbsd-compat $(LIBS)
Jakub Jelen d19ba9
diff -up openssh-8.0p1/myproposal.h.fips openssh-8.0p1/myproposal.h
Jakub Jelen d19ba9
--- openssh-8.0p1/myproposal.h.fips	2019-04-18 00:52:57.000000000 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/myproposal.h	2019-07-23 14:55:45.402526411 +0200
Jakub Jelen 51f5c1
@@ -111,6 +111,20 @@
Jakub Jelen 9dbec7
 	"rsa-sha2-256," \
Jakub Jelen 9dbec7
 	"ssh-rsa"
Jakub Jelen 9dbec7
 
Jakub Jelen 9dbec7
+#define	KEX_FIPS_PK_ALG	\
Jakub Jelen 51f5c1
+	"ecdsa-sha2-nistp256-cert-v01@openssh.com," \
Jakub Jelen 51f5c1
+	"ecdsa-sha2-nistp384-cert-v01@openssh.com," \
Jakub Jelen 51f5c1
+	"ecdsa-sha2-nistp521-cert-v01@openssh.com," \
Jakub Jelen 5eb2d5
+	"rsa-sha2-512-cert-v01@openssh.com," \
Jakub Jelen 5eb2d5
+	"rsa-sha2-256-cert-v01@openssh.com," \
Jakub Jelen 9dbec7
+	"ssh-rsa-cert-v01@openssh.com," \
Jakub Jelen 51f5c1
+	"ecdsa-sha2-nistp256," \
Jakub Jelen 51f5c1
+	"ecdsa-sha2-nistp384," \
Jakub Jelen 51f5c1
+	"ecdsa-sha2-nistp521," \
Jakub Jelen 9dbec7
+	"rsa-sha2-512," \
Jakub Jelen 9dbec7
+	"rsa-sha2-256," \
Jakub Jelen 9dbec7
+	"ssh-rsa"
Jakub Jelen 9dbec7
+
Jakub Jelen 51f5c1
 #define	KEX_SERVER_ENCRYPT \
Jakub Jelen 51f5c1
 	"chacha20-poly1305@openssh.com," \
Jakub Jelen 51f5c1
 	"aes128-ctr,aes192-ctr,aes256-ctr," \
Jakub Jelen 51f5c1
@@ -134,6 +142,27 @@
Jakub Jelen 13bf5b
 
Jakub Jelen 13bf5b
 #define KEX_CLIENT_MAC KEX_SERVER_MAC
Petr Lautrbach 802815
 
Petr Lautrbach 802815
+#define	KEX_FIPS_ENCRYPT \
Petr Lautrbach 802815
+	"aes128-ctr,aes192-ctr,aes256-ctr," \
Petr Lautrbach 802815
+	"aes128-cbc,3des-cbc," \
Jakub Jelen 51f5c1
+	"aes192-cbc,aes256-cbc,rijndael-cbc@lysator.liu.se," \
Jakub Jelen 51f5c1
+	"aes128-gcm@openssh.com,aes256-gcm@openssh.com"
Jakub Jelen 51f5c1
+#define KEX_DEFAULT_KEX_FIPS		\
Jakub Jelen 51f5c1
+	"ecdh-sha2-nistp256," \
Jakub Jelen 51f5c1
+	"ecdh-sha2-nistp384," \
Jakub Jelen 51f5c1
+	"ecdh-sha2-nistp521," \
Jakub Jelen 51f5c1
+	"diffie-hellman-group-exchange-sha256," \
Jakub Jelen 51f5c1
+	"diffie-hellman-group16-sha512," \
Jakub Jelen 51f5c1
+	"diffie-hellman-group18-sha512," \
Jakub Jelen eb751f
+	"diffie-hellman-group14-sha256"
Jakub Jelen 51f5c1
+#define KEX_FIPS_MAC \
Petr Lautrbach 802815
+	"hmac-sha1," \
Petr Lautrbach 802815
+	"hmac-sha2-256," \
Petr Lautrbach 802815
+	"hmac-sha2-512," \
Petr Lautrbach 802815
+	"hmac-sha1-etm@openssh.com," \
Petr Lautrbach 802815
+	"hmac-sha2-256-etm@openssh.com," \
Petr Lautrbach 802815
+	"hmac-sha2-512-etm@openssh.com"
Petr Lautrbach 190035
+
Jakub Jelen eaa7af
 /* Not a KEX value, but here so all the algorithm defaults are together */
Jakub Jelen eaa7af
 #define	SSH_ALLOWED_CA_SIGALGS	\
Jakub Jelen 51f5c1
 	"ecdsa-sha2-nistp256," \
Jakub Jelen d19ba9
diff -up openssh-8.0p1/readconf.c.fips openssh-8.0p1/readconf.c
Jakub Jelen d19ba9
--- openssh-8.0p1/readconf.c.fips	2019-07-23 14:55:45.334525723 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/readconf.c	2019-07-23 14:55:45.402526411 +0200
Jakub Jelen 51f5c1
@@ -2179,11 +2179,16 @@ fill_default_options(Options * options)
Jakub Jelen bbf61d
 	all_key = sshkey_alg_list(0, 0, 1, ',');
Jakub Jelen eaa7af
 	all_sig = sshkey_alg_list(0, 1, 1, ',');
Jakub Jelen 51f5c1
 	/* remove unsupported algos from default lists */
Jakub Jelen 51f5c1
-	def_cipher = match_filter_whitelist(KEX_CLIENT_ENCRYPT, all_cipher);
Jakub Jelen 51f5c1
-	def_mac = match_filter_whitelist(KEX_CLIENT_MAC, all_mac);
Jakub Jelen 51f5c1
-	def_kex = match_filter_whitelist(KEX_CLIENT_KEX, all_kex);
Jakub Jelen 51f5c1
-	def_key = match_filter_whitelist(KEX_DEFAULT_PK_ALG, all_key);
Jakub Jelen 51f5c1
-	def_sig = match_filter_whitelist(SSH_ALLOWED_CA_SIGALGS, all_sig);
Jakub Jelen 51f5c1
+	def_cipher = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_FIPS_ENCRYPT : KEX_CLIENT_ENCRYPT), all_cipher);
Jakub Jelen 51f5c1
+	def_mac = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_FIPS_MAC : KEX_CLIENT_MAC), all_mac);
Jakub Jelen 51f5c1
+	def_kex = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_DEFAULT_KEX_FIPS : KEX_CLIENT_KEX), all_kex);
Jakub Jelen 51f5c1
+	def_key = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_FIPS_PK_ALG : KEX_DEFAULT_PK_ALG), all_key);
Jakub Jelen 51f5c1
+	def_sig = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_FIPS_PK_ALG : SSH_ALLOWED_CA_SIGALGS), all_sig);
Jakub Jelen 51f5c1
 #define ASSEMBLE(what, defaults, all) \
Jakub Jelen bbf61d
 	do { \
Jakub Jelen bbf61d
 		if ((r = kex_assemble_names(&options->what, \
Jakub Jelen d19ba9
diff -up openssh-8.0p1/sandbox-seccomp-filter.c.fips openssh-8.0p1/sandbox-seccomp-filter.c
Jakub Jelen d19ba9
--- openssh-8.0p1/sandbox-seccomp-filter.c.fips	2019-07-23 14:55:45.373526117 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/sandbox-seccomp-filter.c	2019-07-23 14:55:45.402526411 +0200
Jakub Jelen 9dbec7
@@ -137,6 +137,9 @@ static const struct sock_filter preauth_
Jakub Jelen 6cf9b8
 #ifdef __NR_open
Jakub Jelen 17b491
 	SC_DENY(__NR_open, EACCES),
Jakub Jelen 6cf9b8
 #endif
Jakub Jelen 6cf9b8
+#ifdef __NR_socket
Jakub Jelen 17b491
+	SC_DENY(__NR_socket, EACCES),
Jakub Jelen 6cf9b8
+#endif
Jakub Jelen 6cf9b8
 #ifdef __NR_openat
Jakub Jelen 17b491
 	SC_DENY(__NR_openat, EACCES),
Jakub Jelen 6cf9b8
 #endif
Jakub Jelen d19ba9
diff -up openssh-8.0p1/servconf.c.fips openssh-8.0p1/servconf.c
Jakub Jelen d19ba9
--- openssh-8.0p1/servconf.c.fips	2019-07-23 14:55:45.361525996 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/servconf.c	2019-07-23 14:55:45.403526421 +0200
Jakub Jelen 51f5c1
@@ -208,11 +208,16 @@ assemble_algorithms(ServerOptions *o)
Jakub Jelen bbf61d
 	all_key = sshkey_alg_list(0, 0, 1, ',');
Jakub Jelen eaa7af
 	all_sig = sshkey_alg_list(0, 1, 1, ',');
Jakub Jelen 51f5c1
 	/* remove unsupported algos from default lists */
Jakub Jelen 51f5c1
-	def_cipher = match_filter_whitelist(KEX_SERVER_ENCRYPT, all_cipher);
Jakub Jelen 51f5c1
-	def_mac = match_filter_whitelist(KEX_SERVER_MAC, all_mac);
Jakub Jelen 51f5c1
-	def_kex = match_filter_whitelist(KEX_SERVER_KEX, all_kex);
Jakub Jelen 51f5c1
-	def_key = match_filter_whitelist(KEX_DEFAULT_PK_ALG, all_key);
Jakub Jelen 51f5c1
-	def_sig = match_filter_whitelist(SSH_ALLOWED_CA_SIGALGS, all_sig);
Jakub Jelen 51f5c1
+	def_cipher = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_FIPS_ENCRYPT : KEX_SERVER_ENCRYPT), all_cipher);
Jakub Jelen 51f5c1
+	def_mac = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_FIPS_MAC : KEX_SERVER_MAC), all_mac);
Jakub Jelen 51f5c1
+	def_kex = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_DEFAULT_KEX_FIPS : KEX_SERVER_KEX), all_kex);
Jakub Jelen 51f5c1
+	def_key = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_FIPS_PK_ALG : KEX_DEFAULT_PK_ALG), all_key);
Jakub Jelen 51f5c1
+	def_sig = match_filter_whitelist((FIPS_mode() ?
Jakub Jelen 51f5c1
+	    KEX_FIPS_PK_ALG : SSH_ALLOWED_CA_SIGALGS), all_sig);
Jakub Jelen 51f5c1
 #define ASSEMBLE(what, defaults, all) \
Jakub Jelen bbf61d
 	do { \
Jakub Jelen 51f5c1
 		if ((r = kex_assemble_names(&o->what, defaults, all)) != 0) \
Jakub Jelen d19ba9
diff -up openssh-8.0p1/ssh.c.fips openssh-8.0p1/ssh.c
Jakub Jelen d19ba9
--- openssh-8.0p1/ssh.c.fips	2019-07-23 14:55:45.378526168 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/ssh.c	2019-07-23 14:55:45.403526421 +0200
Jakub Jelen 6cf9b8
@@ -76,6 +76,8 @@
Petr Lautrbach 802815
 #include <openssl/evp.h>
Petr Lautrbach 802815
 #include <openssl/err.h>
Petr Lautrbach 190035
 #endif
Jakub Jelen cb3595
+#include <openssl/crypto.h>
Petr Lautrbach 802815
+#include <fipscheck.h>
Petr Lautrbach 802815
 #include "openbsd-compat/openssl-compat.h"
Petr Lautrbach 802815
 #include "openbsd-compat/sys-queue.h"
Petr Lautrbach 802815
 
Jakub Jelen 81a703
@@ -600,6 +602,16 @@ main(int ac, char **av)
Petr Lautrbach 802815
 	sanitise_stdfd();
Petr Lautrbach 802815
 
Petr Lautrbach 802815
 	__progname = ssh_get_progname(av[0]);
Jakub Jelen eaa7af
+#if OPENSSL_VERSION_NUMBER < 0x10100000L
Jakub Jelen eaa7af
+	SSLeay_add_all_algorithms();
Jakub Jelen eaa7af
+#endif
Petr Lautrbach 802815
+	if (access("/etc/system-fips", F_OK) == 0)
Jakub Jelen 580f98
+		if (! FIPSCHECK_verify(NULL, NULL)){
Petr Lautrbach 802815
+			if (FIPS_mode())
Petr Lautrbach 802815
+				fatal("FIPS integrity verification test failed.");
Petr Lautrbach 802815
+			else
Petr Lautrbach 802815
+				logit("FIPS integrity verification test failed.");
Jakub Jelen 580f98
+	}
Petr Lautrbach 802815
 
Petr Lautrbach 802815
 #ifndef HAVE_SETPROCTITLE
Petr Lautrbach 802815
 	/* Prepare for later setproctitle emulation */
Jakub Jelen d19ba9
@@ -614,6 +626,10 @@ main(int ac, char **av)
Petr Lautrbach 802815
 
Petr Lautrbach 802815
 	seed_rng();
Petr Lautrbach 802815
 
Petr Lautrbach 802815
+	if (FIPS_mode()) {
Jakub Jelen ee9cb0
+		debug("FIPS mode initialized");
Petr Lautrbach 802815
+	}
Petr Lautrbach 802815
+
Jakub Jelen def1de
 	/*
Jakub Jelen def1de
 	 * Discard other fds that are hanging around. These can cause problem
Jakub Jelen def1de
 	 * with backgrounded ssh processes started by ControlPersist.
Jakub Jelen d19ba9
diff -up openssh-8.0p1/sshconnect2.c.fips openssh-8.0p1/sshconnect2.c
Jakub Jelen d19ba9
--- openssh-8.0p1/sshconnect2.c.fips	2019-07-23 14:55:45.336525743 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/sshconnect2.c	2019-07-23 14:55:45.403526421 +0200
Jakub Jelen 3f5513
@@ -44,6 +44,8 @@
Petr Lautrbach 802815
 #include <vis.h>
Petr Lautrbach 802815
 #endif
Petr Lautrbach 802815
 
Jakub Jelen cb3595
+#include <openssl/crypto.h>
Petr Lautrbach 802815
+
Petr Lautrbach 802815
 #include "openbsd-compat/sys-queue.h"
Petr Lautrbach 802815
 
Petr Lautrbach 802815
 #include "xmalloc.h"
Jakub Jelen d19ba9
@@ -198,29 +203,34 @@ ssh_kex2(struct ssh *ssh, char *host, st
Petr Lautrbach 802815
 
Jakub Jelen def1de
 #if defined(GSSAPI) && defined(WITH_OPENSSL)
Petr Lautrbach 802815
 	if (options.gss_keyex) {
Jakub Jelen def1de
-		/* Add the GSSAPI mechanisms currently supported on this
Petr Lautrbach 802815
-		 * client to the key exchange algorithm proposal */
Jakub Jelen def1de
-		orig = myproposal[PROPOSAL_KEX_ALGS];
Jakub Jelen 132f8f
-
Jakub Jelen e8876f
-		if (options.gss_server_identity)
Jakub Jelen def1de
-			gss_host = xstrdup(options.gss_server_identity);
Jakub Jelen e8876f
-		else if (options.gss_trust_dns)
Jakub Jelen def1de
-			gss_host = remote_hostname(ssh);
Jakub Jelen 132f8f
-		else
Jakub Jelen def1de
-			gss_host = xstrdup(host);
Jakub Jelen 132f8f
-
Jakub Jelen bc4ef0
-		gss = ssh_gssapi_client_mechanisms(gss_host,
Jakub Jelen bc4ef0
-		    options.gss_client_identity, options.gss_kex_algorithms);
Jakub Jelen 132f8f
-		if (gss) {
Jakub Jelen 132f8f
-			debug("Offering GSSAPI proposal: %s", gss);
Jakub Jelen def1de
-			xasprintf(&myproposal[PROPOSAL_KEX_ALGS],
Jakub Jelen 132f8f
-			    "%s,%s", gss, orig);
Jakub Jelen def1de
-
Jakub Jelen def1de
-			/* If we've got GSSAPI algorithms, then we also support the
Jakub Jelen def1de
-			 * 'null' hostkey, as a last resort */
Jakub Jelen def1de
-			orig = myproposal[PROPOSAL_SERVER_HOST_KEY_ALGS];
Jakub Jelen def1de
-			xasprintf(&myproposal[PROPOSAL_SERVER_HOST_KEY_ALGS],
Jakub Jelen def1de
-			    "%s,null", orig);
Petr Lautrbach 802815
+		if (FIPS_mode()) {
Petr Lautrbach 802815
+			logit("Disabling GSSAPIKeyExchange. Not usable in FIPS mode");
Petr Lautrbach 802815
+			options.gss_keyex = 0;
Petr Lautrbach 802815
+		} else {
Petr Lautrbach 802815
+			/* Add the GSSAPI mechanisms currently supported on this
Petr Lautrbach 802815
+			 * client to the key exchange algorithm proposal */
Jakub Jelen def1de
+			orig = myproposal[PROPOSAL_KEX_ALGS];
Jakub Jelen 132f8f
+
Jakub Jelen e8876f
+			if (options.gss_server_identity)
Jakub Jelen def1de
+				gss_host = xstrdup(options.gss_server_identity);
Jakub Jelen e8876f
+			else if (options.gss_trust_dns)
Jakub Jelen def1de
+				gss_host = remote_hostname(ssh);
Petr Lautrbach 802815
+			else
Jakub Jelen def1de
+				gss_host = xstrdup(host);
Jakub Jelen 132f8f
+
Jakub Jelen bc4ef0
+			gss = ssh_gssapi_client_mechanisms(gss_host,
Jakub Jelen bc4ef0
+			    options.gss_client_identity, options.gss_kex_algorithms);
Petr Lautrbach 802815
+			if (gss) {
Petr Lautrbach 802815
+				debug("Offering GSSAPI proposal: %s", gss);
Jakub Jelen def1de
+				xasprintf(&myproposal[PROPOSAL_KEX_ALGS],
Petr Lautrbach 802815
+				    "%s,%s", gss, orig);
Jakub Jelen def1de
+
Jakub Jelen def1de
+				/* If we've got GSSAPI algorithms, then we also support the
Jakub Jelen def1de
+				 * 'null' hostkey, as a last resort */
Jakub Jelen def1de
+				orig = myproposal[PROPOSAL_SERVER_HOST_KEY_ALGS];
Jakub Jelen def1de
+				xasprintf(&myproposal[PROPOSAL_SERVER_HOST_KEY_ALGS],
Jakub Jelen def1de
+				    "%s,null", orig);
Petr Lautrbach 802815
+			}
Petr Lautrbach 802815
 		}
Petr Lautrbach 802815
 	}
Petr Lautrbach 802815
 #endif
Jakub Jelen d19ba9
diff -up openssh-8.0p1/sshd.c.fips openssh-8.0p1/sshd.c
Jakub Jelen d19ba9
--- openssh-8.0p1/sshd.c.fips	2019-07-23 14:55:45.398526371 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/sshd.c	2019-07-23 14:55:45.403526421 +0200
Petr Lautrbach 190035
@@ -66,6 +66,7 @@
Petr Lautrbach 190035
 #include <grp.h>
Petr Lautrbach 190035
 #include <pwd.h>
Petr Lautrbach 190035
 #include <signal.h>
Petr Lautrbach 190035
+#include <syslog.h>
Petr Lautrbach 190035
 #include <stdarg.h>
Petr Lautrbach 190035
 #include <stdio.h>
Petr Lautrbach 190035
 #include <stdlib.h>
Jakub Jelen 132f8f
@@ -77,6 +78,8 @@
Petr Lautrbach 802815
 #include <openssl/dh.h>
Petr Lautrbach 802815
 #include <openssl/bn.h>
Petr Lautrbach 802815
 #include <openssl/rand.h>
Jakub Jelen cb3595
+#include <openssl/crypto.h>
Petr Lautrbach 802815
+#include <fipscheck.h>
Petr Lautrbach 802815
 #include "openbsd-compat/openssl-compat.h"
Petr Lautrbach 190035
 #endif
Petr Lautrbach 802815
 
Jakub Jelen d19ba9
@@ -1529,6 +1532,18 @@ main(int ac, char **av)
Petr Lautrbach 802815
 #endif
Petr Lautrbach 802815
 	__progname = ssh_get_progname(av[0]);
Petr Lautrbach 802815
 
Jakub Jelen eaa7af
+	OpenSSL_add_all_algorithms();
Petr Lautrbach 802815
+	if (access("/etc/system-fips", F_OK) == 0)
Petr Lautrbach 802815
+		if (! FIPSCHECK_verify(NULL, NULL)) {
Petr Lautrbach 802815
+			openlog(__progname, LOG_PID, LOG_AUTHPRIV);
Petr Lautrbach 802815
+			if (FIPS_mode()) {
Petr Lautrbach 802815
+				syslog(LOG_CRIT, "FIPS integrity verification test failed.");
Petr Lautrbach 802815
+				cleanup_exit(255);
Petr Lautrbach 802815
+			}
Petr Lautrbach 802815
+			else
Petr Lautrbach 802815
+				syslog(LOG_INFO, "FIPS integrity verification test failed.");
Petr Lautrbach 802815
+			closelog();
Petr Lautrbach 802815
+		}
Petr Lautrbach 802815
 	/* Save argv. Duplicate so setproctitle emulation doesn't clobber it */
Petr Lautrbach 802815
 	saved_argc = ac;
Petr Lautrbach 802815
 	rexec_argc = ac;
Jakub Jelen d19ba9
@@ -1992,6 +2007,10 @@ main(int ac, char **av)
Petr Lautrbach 802815
 	/* Reinitialize the log (because of the fork above). */
Petr Lautrbach 802815
 	log_init(__progname, options.log_level, options.log_facility, log_stderr);
Petr Lautrbach 802815
 
Petr Lautrbach 802815
+	if (FIPS_mode()) {
Jakub Jelen ee9cb0
+		debug("FIPS mode initialized");
Petr Lautrbach 802815
+	}
Petr Lautrbach 802815
+
Petr Lautrbach 802815
 	/* Chdir to the root directory so that the current disk can be
Petr Lautrbach 802815
 	   unmounted if desired. */
Petr Lautrbach 802815
 	if (chdir("/") == -1)
Jakub Jelen d19ba9
@@ -2382,10 +2401,14 @@ do_ssh2_kex(struct ssh *ssh)
Petr Lautrbach 802815
 	if (strlen(myproposal[PROPOSAL_SERVER_HOST_KEY_ALGS]) == 0)
Petr Lautrbach 802815
 		orig = NULL;
Petr Lautrbach 802815
 
Petr Lautrbach 802815
-	if (options.gss_keyex)
Petr Lautrbach 802815
-		gss = ssh_gssapi_server_mechanisms();
Petr Lautrbach 802815
-	else
Petr Lautrbach 802815
-		gss = NULL;
Petr Lautrbach 802815
+	if (options.gss_keyex) {
Petr Lautrbach 802815
+		if (FIPS_mode()) {
Petr Lautrbach 802815
+			logit("Disabling GSSAPIKeyExchange. Not usable in FIPS mode");
Petr Lautrbach 802815
+			options.gss_keyex = 0;
Petr Lautrbach 802815
+		} else {
Petr Lautrbach 802815
+			gss = ssh_gssapi_server_mechanisms();
Petr Lautrbach 802815
+		}
Petr Lautrbach 802815
+	}
Petr Lautrbach 802815
 
Petr Lautrbach 802815
 	if (gss && orig)
Petr Lautrbach 802815
 		xasprintf(&newstr, "%s,%s", gss, orig);
Jakub Jelen d19ba9
diff -up openssh-8.0p1/sshkey.c.fips openssh-8.0p1/sshkey.c
Jakub Jelen d19ba9
--- openssh-8.0p1/sshkey.c.fips	2019-07-23 14:55:45.398526371 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/sshkey.c	2019-07-23 14:55:45.404526431 +0200
Jakub Jelen 6cf9b8
@@ -34,6 +34,7 @@
Petr Lautrbach 190035
 #include <openssl/evp.h>
Petr Lautrbach 190035
 #include <openssl/err.h>
Petr Lautrbach 190035
 #include <openssl/pem.h>
Jakub Jelen cb3595
+#include <openssl/crypto.h>
Jakub Jelen 132f8f
 #endif
Petr Lautrbach 190035
 
Petr Lautrbach 190035
 #include "crypto_api.h"
Jakub Jelen 44e203
@@ -57,6 +58,7 @@
Jakub Jelen 36fef5
 #define SSHKEY_INTERNAL
Jakub Jelen 84d398
 #include "sshkey.h"
Jakub Jelen 84d398
 #include "match.h"
Jakub Jelen 9dbec7
+#include "log.h"
Jakub Jelen 51f5c1
 #include "ssh-sk.h"
Jakub Jelen 84d398
 
Jakub Jelen 36fef5
 #ifdef WITH_XMSS
Jakub Jelen d19ba9
@@ -1591,6 +1593,8 @@ rsa_generate_private_key(u_int bits, RSA
Petr Lautrbach 190035
 	}
Petr Lautrbach 190035
 	if (!BN_set_word(f4, RSA_F4) ||
Petr Lautrbach 190035
 	    !RSA_generate_key_ex(private, bits, f4, NULL)) {
Petr Lautrbach 190035
+			if (FIPS_mode())
Petr Lautrbach 190035
+				logit("%s: the key length might be unsupported by FIPS mode approved key generation method", __func__);
Petr Lautrbach 190035
 		ret = SSH_ERR_LIBCRYPTO_ERROR;
Petr Lautrbach 190035
 		goto out;
Petr Lautrbach 190035
 	}
Jakub Jelen d19ba9
diff -up openssh-8.0p1/ssh-keygen.c.fips openssh-8.0p1/ssh-keygen.c
Jakub Jelen d19ba9
--- openssh-8.0p1/ssh-keygen.c.fips	2019-07-23 14:55:45.391526300 +0200
Jakub Jelen d19ba9
+++ openssh-8.0p1/ssh-keygen.c	2019-07-23 14:57:54.118830056 +0200
Jakub Jelen d19ba9
@@ -199,6 +199,12 @@ type_bits_valid(int type, const char *na
Jakub Jelen 36fef5
 #endif
Jakub Jelen 36fef5
 	}
Jakub Jelen 36fef5
 #ifdef WITH_OPENSSL
Jakub Jelen 9dbec7
+	if (FIPS_mode()) {
Jakub Jelen 9dbec7
+		if (type == KEY_DSA)
Jakub Jelen 9dbec7
+			fatal("DSA keys are not allowed in FIPS mode");
Jakub Jelen 9dbec7
+		if (type == KEY_ED25519)
Jakub Jelen 9dbec7
+			fatal("ED25519 keys are not allowed in FIPS mode");
Jakub Jelen 9dbec7
+	}
Jakub Jelen 5b55d0
 	switch (type) {
Jakub Jelen 5b55d0
 	case KEY_DSA:
Jakub Jelen 5b55d0
 		if (*bitsp != 1024)
Jakub Jelen d19ba9
@@ -1029,9 +1035,17 @@ do_gen_all_hostkeys(struct passwd *pw)
Jakub Jelen d19ba9
 			first = 1;
Jakub Jelen d19ba9
 			printf("%s: generating new host keys: ", __progname);
Jakub Jelen d19ba9
 		}
Jakub Jelen d19ba9
+		type = sshkey_type_from_name(key_types[i].key_type);
Jakub Jelen d19ba9
+
Jakub Jelen d19ba9
+		/* Skip the keys that are not supported in FIPS mode */
Jakub Jelen d19ba9
+		if (FIPS_mode() && (type == KEY_DSA || type == KEY_ED25519)) {
Jakub Jelen d19ba9
+			logit("Skipping %s key in FIPS mode",
Jakub Jelen d19ba9
+			    key_types[i].key_type_display);
Jakub Jelen d19ba9
+			goto next;
Jakub Jelen d19ba9
+		}
Jakub Jelen d19ba9
+
Jakub Jelen d19ba9
 		printf("%s ", key_types[i].key_type_display);
Jakub Jelen d19ba9
 		fflush(stdout);
Jakub Jelen d19ba9
-		type = sshkey_type_from_name(key_types[i].key_type);
Jakub Jelen d19ba9
 		if ((fd = mkstemp(prv_tmp)) == -1) {
Jakub Jelen d19ba9
 			error("Could not save your public key in %s: %s",
Jakub Jelen d19ba9
 			    prv_tmp, strerror(errno));