• 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.ECGenParameterSpec.crysl Maven / Gradle / Ivy

SPEC java.security.spec.ECGenParameterSpec

OBJECTS 
	java.lang.String stdName;
	
EVENTS
	c1: ECGenParameterSpec(stdName);
	Con := c1;

ORDER
	Con
	
CONSTRAINTS
	stdName in {"brainpoolP224r1", "1.3.36.3.3.2.8.1.1.5",
			"brainpoolP256r1", "1.3.36.3.3.2.8.1.1.7",
			"brainpoolP320r1", "1.3.36.3.3.2.8.1.1.9",
			"brainpoolP384r1", "1.3.36.3.3.2.8.1.1.11",
			"brainpoolP512r1", "1.3.36.3.3.2.8.1.1.13",
			"secp224r1", "NIST P-224", "1.3.132.0.33",
			"secp256r1", "NIST P-256", "X9.62 prime256v1" ,"1.2.840.10045.3.1.7",
			"secp384r1", "NIST P-384", "1.3.132.0.34",
			"secp521r1", "NIST P-521", "1.3.132.0.35"};

ENSURES
	preparedEC[this];