• 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.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", "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
	generatedSSLEngine[this];