• Home
• de.paderborn.uni
• BouncyCastle-JCA
• 3.1.1
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

uni.BouncyCastle-JCA.3.1.1.source-code.SSLEngine.crysl Maven / Gradle / Ivy

SPEC javax.net.ssl.SSLEngine

OBJECTS
	java.lang.String[] cipherSuites;
	java.lang.String[] protocols;

EVENTS
	ec1: setEnabledCipherSuites(cipherSuites);
	EnableCipher := ec1;
	
	ep1: setEnabledProtocols(protocols);
	EnableProtocol := ep1;	
	
ORDER
	(EnableCipher, EnableProtocol) | (EnableProtocol, EnableCipher) 

CONSTRAINTS
	elements(protocols) in {"TLSv1.2"};
	elements(cipherSuites) in {"TLS_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384",
				"TLS_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256",
				"TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384",
				"TLS_RSA_WITH_AES_256_GCM_SHA384",
				"TLS_ECDH_ECDSA_WITH_AES_256_GCM_SHA384",
				"TLS_ECDH_RSA_WITH_AES_256_GCM_SHA384",
				"TLS_DHE_RSA_WITH_AES_256_GCM_SHA384",
				"TLS_DHE_DSS_WITH_AES_256_GCM_SHA384",
				"TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256",
				"TLS_RSA_WITH_AES_128_GCM_SHA256",
				"TLS_ECDH_ECDSA_WITH_AES_128_GCM_SHA256",
				"TLS_ECDH_RSA_WITH_AES_128_GCM_SHA256",
				"TLS_DHE_RSA_WITH_AES_128_GCM_SHA256",
				"TLS_DHE_DSS_WITH_AES_128_GCM_SHA256"};
		
ENSURES
	generatedSSLEngine[this];