Skip to content
This repository has been archived by the owner on Jan 10, 2021. It is now read-only.

Implemented and tested a mini SRP6 library. #7

Merged
merged 3 commits into from
Jan 30, 2018
Merged

Implemented and tested a mini SRP6 library. #7

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
503e348
Implemented and tested a mini SRP6 library.
Glusk Jan 30, 2018
58f4119
Added the default sun checksytle
Glusk Jan 30, 2018
652e23a
Reduced checkstyle.xml strictness; Fixed whitespaces and minor checks…
Glusk Jan 30, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
176 changes: 176 additions & 0 deletions checkstyle.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,176 @@
<?xml version="1.0"?>
<!DOCTYPE module PUBLIC
"-//Puppy Crawl//DTD Check Configuration 1.3//EN"
"http://checkstyle.sourceforge.net/dtds/configuration_1_3.dtd">

<!--

Checkstyle configuration that checks the sun coding conventions from:

- the Java Language Specification at
http://java.sun.com/docs/books/jls/second_edition/html/index.html

- the Sun Code Conventions at http://java.sun.com/docs/codeconv/

- the Javadoc guidelines at
http://java.sun.com/j2se/javadoc/writingdoccomments/index.html

- the JDK Api documentation http://java.sun.com/j2se/docs/api/index.html

- some best practices

Checkstyle is very configurable. Be sure to read the documentation at
http://checkstyle.sf.net (or in your downloaded distribution).

Most Checks are configurable, be sure to consult the documentation.

To completely disable a check, just comment it out or delete it from the file.

Finally, it is worth reading the documentation.

-->

<module name="Checker">
<!--
If you set the basedir property below, then all reported file
names will be relative to the specified directory. See
http://checkstyle.sourceforge.net/5.x/config.html#Checker

<property name="basedir" value="${basedir}"/>
-->

<property name="fileExtensions" value="java, properties, xml"/>

<!-- Checks that a package-info.java file exists for each package. -->
<!-- See http://checkstyle.sf.net/config_javadoc.html#JavadocPackage -->
<!-- <module name="JavadocPackage"/> -->

<!-- Checks whether files end with a new line. -->
<!-- See http://checkstyle.sf.net/config_misc.html#NewlineAtEndOfFile -->
<module name="NewlineAtEndOfFile"/>

<!-- Checks that property files contain the same keys. -->
<!-- See http://checkstyle.sf.net/config_misc.html#Translation -->
<module name="Translation"/>

<!-- Checks for Size Violations. -->
<!-- See http://checkstyle.sf.net/config_sizes.html -->
<module name="FileLength"/>

<!-- Checks for whitespace -->
<!-- See http://checkstyle.sf.net/config_whitespace.html -->
<module name="FileTabCharacter"/>

<!-- Miscellaneous other checks. -->
<!-- See http://checkstyle.sf.net/config_misc.html -->
<module name="RegexpSingleline">
<property name="format" value="\s+$"/>
<property name="minimum" value="0"/>
<property name="maximum" value="0"/>
<property name="message" value="Line has trailing spaces."/>
</module>

<!-- Checks for Headers -->
<!-- See http://checkstyle.sf.net/config_header.html -->
<!-- <module name="Header"> -->
<!-- <property name="headerFile" value="${checkstyle.header.file}"/> -->
<!-- <property name="fileExtensions" value="java"/> -->
<!-- </module> -->

<module name="TreeWalker">

<!-- Checks for Javadoc comments. -->
<!-- See http://checkstyle.sf.net/config_javadoc.html -->
<!-- <module name="JavadocMethod"/> -->
<!-- <module name="JavadocType"/> -->
<!-- <module name="JavadocVariable"/> -->
<module name="JavadocStyle"/>

<!-- Checks for Naming Conventions. -->
<!-- See http://checkstyle.sf.net/config_naming.html -->
<!-- <module name="ConstantName"/> -->
<!-- <module name="LocalFinalVariableName"/> -->
<!-- <module name="LocalVariableName"/> -->
<!-- <module name="MemberName"/> -->
<!-- <module name="MethodName"/> -->
<!-- <module name="PackageName"/> -->
<!-- <module name="ParameterName"/> -->
<!-- <module name="StaticVariableName"/> -->
<!-- <module name="TypeName"/> -->

<!-- Checks for imports -->
<!-- See http://checkstyle.sf.net/config_import.html -->
<module name="AvoidStarImport"/>
<module name="IllegalImport"/> <!-- defaults to sun.* packages -->
<module name="RedundantImport"/>
<module name="UnusedImports">
<property name="processJavadoc" value="false"/>
</module>

<!-- Checks for Size Violations. -->
<!-- See http://checkstyle.sf.net/config_sizes.html -->
<module name="LineLength"/>
<module name="MethodLength"/>
<!-- <module name="ParameterNumber"/> -->

<!-- Checks for whitespace -->
<!-- See http://checkstyle.sf.net/config_whitespace.html -->
<module name="EmptyForIteratorPad"/>
<module name="GenericWhitespace"/>
<module name="MethodParamPad"/>
<module name="NoWhitespaceAfter"/>
<module name="NoWhitespaceBefore"/>
<module name="OperatorWrap">
<property name="option" value="eol"/>
</module>
<module name="ParenPad"/>
<module name="TypecastParenPad"/>
<module name="WhitespaceAfter"/>
<module name="WhitespaceAround"/>

<!-- Modifier Checks -->
<!-- See http://checkstyle.sf.net/config_modifiers.html -->
<module name="ModifierOrder"/>
<module name="RedundantModifier"/>

<!-- Checks for blocks. You know, those {}'s -->
<!-- See http://checkstyle.sf.net/config_blocks.html -->
<module name="AvoidNestedBlocks"/>
<module name="EmptyBlock"/>
<module name="LeftCurly"/>
<module name="NeedBraces"/>
<module name="RightCurly"/>

<!-- Checks for common coding problems -->
<!-- See http://checkstyle.sf.net/config_coding.html -->
<!-- <module name="AvoidInlineConditionals"/> -->
<module name="EmptyStatement"/>
<module name="EqualsHashCode"/>
<!-- <module name="HiddenField"/> -->
<module name="IllegalInstantiation"/>
<module name="InnerAssignment"/>
<module name="MagicNumber"/>
<module name="MissingSwitchDefault"/>
<module name="SimplifyBooleanExpression"/>
<module name="SimplifyBooleanReturn"/>

<!-- Checks for class design -->
<!-- See http://checkstyle.sf.net/config_design.html -->
<module name="DesignForExtension"/>
<module name="FinalClass"/>
<module name="HideUtilityClassConstructor"/>
<module name="InterfaceIsType"/>
<module name="VisibilityModifier"/>

<!-- Miscellaneous other checks. -->
<!-- See http://checkstyle.sf.net/config_misc.html -->
<module name="ArrayTypeStyle"/>
<module name="FinalParameters">
<property name="tokens" value="METHOD_DEF"/>
</module>
<module name="TodoComment"/>
<module name="UpperEll"/>

</module>

</module>
21 changes: 21 additions & 0 deletions pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,27 @@
<target>1.8</target>
</configuration>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-checkstyle-plugin</artifactId>
<version>3.0.0</version>
<executions>
<execution>
<id>validate</id>
<phase>validate</phase>
<configuration>
<configLocation>checkstyle.xml</configLocation>
<encoding>UTF-8</encoding>
<consoleOutput>true</consoleOutput>
<failsOnError>true</failsOnError>
<linkXRef>false</linkXRef>
</configuration>
<goals>
<goal>check</goal>
</goals>
</execution>
</executions>
</plugin>
</plugins>
</build>
</project>
18 changes: 18 additions & 0 deletions wse-common/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,4 +11,22 @@

<artifactId>wse-common</artifactId>
<name>WSE common utilities</name>

<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-failsafe-plugin</artifactId>
<version>2.20.1</version>
<executions>
<execution>
<goals>
<goal>integration-test</goal>
<goal>verify</goal>
</goals>
</execution>
</executions>
</plugin>
</plugins>
</build>
</project>
52 changes: 52 additions & 0 deletions wse-common/src/main/java/com/github/glusk2/wse/common/crypto/srp6/SRP6CltPubEphVal.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
package com.github.glusk2.wse.common.crypto.srp6;

import java.math.BigInteger;

import com.github.glusk2.wse.common.util.Mapping;

public final class SRP6CltPubEphVal implements SRP6Integer {

private final SRP6Integer srp6_N;
private final SRP6Integer srp6_g;
private final SRP6Integer srp6_a;
private final Mapping<BigInteger, SRP6Integer> rule;

private SRP6Integer A;

public SRP6CltPubEphVal(
SRP6Integer N,
SRP6Integer g,
SRP6Integer a,
Mapping<BigInteger, SRP6Integer> rule
) {
this.srp6_N = N;
this.srp6_g = g;
this.srp6_a = a;
this.rule = rule;
}

private SRP6Integer compute_A() {
BigInteger N = srp6_N.bigInteger();
BigInteger g = srp6_g.bigInteger();
BigInteger a = srp6_a.bigInteger();

//A = g^a
return rule.map(g.modPow(a, N));
}

@Override
public byte[] bytes() {
if (A == null) {
A = compute_A();
}
return A.bytes();
}

@Override
public BigInteger bigInteger() {
if (A == null) {
A = compute_A();
}
return A.bigInteger();
}
}
91 changes: 91 additions & 0 deletions wse-common/src/main/java/com/github/glusk2/wse/common/crypto/srp6/SRP6CltSesKey.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,91 @@
package com.github.glusk2.wse.common.crypto.srp6;

import java.math.BigInteger;

import com.github.glusk2.wse.common.util.Mapping;

public final class SRP6CltSesKey implements SRP6Integer {

private final SRP6Integer srp6_N;
private final SRP6Integer srp6_g;
private final SRP6Integer srp6_k;
private final SRP6Integer srp6_x;
private final SRP6Integer srp6_u;
private final SRP6Integer srp6_a;
private final SRP6Integer srp6_B;
private final Mapping<BigInteger, SRP6Integer> rule;

private SRP6Integer S;

public SRP6CltSesKey(
SRP6Integer N,
SRP6Integer g,
SRP6Integer x,
SRP6Integer u,
SRP6Integer a,
SRP6Integer B,
Mapping<BigInteger, SRP6Integer> rule
) {
this(
N,
g,
new SRP6PrecomputedValue(new BigInteger("3")),
x,
u,
a,
B,
rule
);
}

public SRP6CltSesKey(
SRP6Integer N,
SRP6Integer g,
SRP6Integer k,
SRP6Integer x,
SRP6Integer u,
SRP6Integer a,
SRP6Integer B,
Mapping<BigInteger, SRP6Integer> rule
) {
this.srp6_N = N;
this.srp6_g = g;
this.srp6_k = k;
this.srp6_x = x;
this.srp6_u = u;
this.srp6_a = a;
this.srp6_B = B;
this.rule = rule;
}

private SRP6Integer compute_S() {
BigInteger N = srp6_N.bigInteger();
BigInteger g = srp6_g.bigInteger();
BigInteger k = srp6_k.bigInteger();
BigInteger x = srp6_x.bigInteger();
BigInteger u = srp6_u.bigInteger();
BigInteger a = srp6_a.bigInteger();
BigInteger B = srp6_B.bigInteger();

//S = (B - kg^x) ^ (a + ux)
return rule.map(
B.subtract(k.multiply(g.modPow(x, N)))
.modPow(a.add(u.multiply(x)), N));
}

@Override
public byte[] bytes() {
if (S == null) {
S = compute_S();
}
return S.bytes();
}

@Override
public BigInteger bigInteger() {
if (S == null) {
S = compute_S();
}
return S.bigInteger();
}
}
Loading