• Home
• de.darmstadt.tu.crossing
• JavaCryptographicArchitecture
• 3.1.2
• 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.

tu.crossing.JavaCryptographicArchitecture.3.1.2.source-code.SSLParameters.crysl Maven / Gradle / Ivy

SPEC javax.net.ssl.SSLParameters

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

EVENTS
	Con1: SSLParameters();
	Con2: SSLParameters(cipherSuites);
	Con3: SSLParameters(cipherSuites, protocols);
	
	CipherSuite: setCipherSuites(cipherSuites);
	SetProtocol: setProtocols(protocols);
		
	
ORDER
	(Con1, ((CipherSuite , SetProtocol) | (SetProtocol , CipherSuite))) | (Con2, SetProtocol) | Con3
		
CONSTRAINTS
	elements(protocols) in {"TLSv1.2", "TLSv1.3"};
	elements(protocols) in {"TLSv1.2"} => elements(cipherSuites) in {
    		"TLS_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256",
    		"TLS_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384",
    		"TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256",
    		"TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384",
    		"TLS_DHE_DSS_WITH_AES_128_GCM_SHA256",
    		"TLS_DHE_DSS_WITH_AES_256_GCM_SHA384",
    		"TLS_DHE_RSA_WITH_AES_128_GCM_SHA256",
    		"TLS_DHE_RSA_WITH_AES_256_GCM_SHA384",
    		"TLS_ECDH_ECDSA_WITH_AES_128_GCM_SHA256",
    		"TLS_ECDH_ECDSA_WITH_AES_256_GCM_SHA384",
    		"TLS_ECDH_RSA_WITH_AES_128_GCM_SHA256",
    		"TLS_ECDH_RSA_WITH_AES_256_GCM_SHA384"};
    elements(protocols) in {"TLSv1.3"} => elements(cipherSuites) in {"TLS_AES_128_GCM_SHA256", 
			"TLS_AES_256_GCM_SHA384"};
				
ENSURES
	generatedSSLParameters[this];