Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for SRP as an alternative auth mechanism. #85

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
3 changes: 2 additions & 1 deletion core/src/main/scala/org/labrad/Client.scala
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,8 @@ class Client(
val credential: Credential = Client.defaults.credential,
val tls: TlsMode = Client.defaults.tls,
val tlsCerts: Map[String, File] = Map(),
val workerGroup: EventLoopGroup = Connection.defaultWorkerGroup
val workerGroup: EventLoopGroup = Connection.defaultWorkerGroup,
val requireSrp: Boolean = false
)(
implicit val executionContext: ExecutionContext = ExecutionContext.global
) extends Connection {
Expand Down
86 changes: 69 additions & 17 deletions core/src/main/scala/org/labrad/Connection.scala
Original file line number Diff line number Diff line change
Expand Up @@ -11,15 +11,18 @@ import java.net.{InetAddress, InetSocketAddress}
import java.nio.{ByteOrder, CharBuffer}
import java.nio.charset.StandardCharsets.UTF_8
import java.nio.file.Files
import java.security.MessageDigest
import java.security.{MessageDigest, SecureRandom}
import java.util.concurrent.{ExecutionException, Executors, ThreadFactory, TimeUnit}
import java.util.concurrent.atomic.{AtomicInteger, AtomicLong}
import org.bouncycastle.crypto.agreement.srp._
import org.bouncycastle.crypto.digests.SHA1Digest
import org.labrad.Labrad.Manager
import org.labrad.Labrad.Authenticator
import org.labrad.crypto.{BigInts, SRP}
import org.labrad.data._
import org.labrad.errors._
import org.labrad.events.MessageListener
import org.labrad.util.{Counter, LookupProvider, NettyUtil}
import org.labrad.util.{Counter, LookupProvider, NettyUtil, Util}
import org.labrad.util.Futures._
import org.labrad.util.Paths._
import scala.concurrent.{Await, ExecutionContext, Future}
Expand Down Expand Up @@ -78,6 +81,7 @@ trait Connection {
val tls: TlsMode
val tlsCerts: Map[String, File]
val workerGroup: EventLoopGroup
val requireSrp: Boolean
implicit val executionContext: ExecutionContext

def credential: Credential
Expand Down Expand Up @@ -212,21 +216,69 @@ trait Connection {
): Unit = {
try {
val loginResponse = credential match {
case Password("", password) =>
// send first ping packet; response is password challenge
val Bytes(challenge) = Await.result(sendManagerRequest(), timeout)

val md = MessageDigest.getInstance("MD5")
md.update(challenge)
md.update(UTF_8.encode(CharBuffer.wrap(password)))
val data = TreeData("s") // use s instead of y for backwards compatibility
data.setBytes(md.digest)

// send password response; response is welcome message
try {
Await.result(sendManagerRequest(0, data), timeout)
} catch {
case e: ExecutionException => throw new IncorrectPasswordException
case Password(username @ "", password) =>
val useSrp = if (requireSrp) {
true
} else {
// We will use SRP if manager supports it, so we send a PING to get manager features.
val resp = Await.result(sendManagerRequest(2, "PING".toData), timeout)
val features: Set[String] = resp match {
case Cluster(_, Arr(features @ _*)) => Set(features.map(_.getString): _*)
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd recommend using a different name for mapping the matched value in Arr(..) -- I probably get confused too easily, but seeing the name used twice in immediate parent-child scopes throws me off. It's also not immediately clear what the type of features is in the case body. It looks like it may be a Labrad type (an array?), and you're grabbing the elements as a Seq. For the sake of readability, could we expand this out a bit without sacrificing performance or functional-ness?

case _ => Set()
}
features.contains("srp")
}

if (useSrp) {
// use SRP for login
val random = new SecureRandom()
val digest = new SHA1Digest()
val client = new SRP6Client()

val Cluster(Str(groupName), Bytes(salt), Bytes(bBytes)) =
Await.result(sendManagerRequest(10, Str(username)), timeout)

val group = SRP.groupFromString(groupName)
client.init(group, digest, random)

val a = client.generateClientCredentials(salt, username.getBytes(UTF_8),
Util.utf8Bytes(password))
val aBytes = BigInts.toUnsignedByteArray(a)

val b = BigInts.fromUnsignedByteArray(bBytes)
client.calculateSecret(b.bigInteger)

val m1 = client.calculateClientEvidenceMessage()
val m1Bytes = BigInts.toUnsignedByteArray(m1)

val Cluster(loginResponse, Bytes(m2Bytes)) = try {
Await.result(sendManagerRequest(11, (aBytes, m1Bytes).toData), timeout)
} catch {
case e: ExecutionException => throw new IncorrectPasswordException
}

val m2 = BigInts.fromUnsignedByteArray(m2Bytes)
if (!client.verifyServerEvidenceMessage(m2.bigInteger)) {
throw new Exception("unable to verify server SRP message M2")
}
loginResponse

} else {
// send first ping packet; response is password challenge
val Bytes(challenge) = Await.result(sendManagerRequest(), timeout)

val md = MessageDigest.getInstance("MD5")
md.update(challenge)
md.update(UTF_8.encode(CharBuffer.wrap(password)))
val data = TreeData("s") // use s instead of y for backwards compatibility
data.setBytes(md.digest)

// send password response; response is welcome message
try {
Await.result(sendManagerRequest(0, data), timeout)
} catch {
case e: ExecutionException => throw new IncorrectPasswordException
}
}

case Password(username, password) =>
Expand Down
3 changes: 2 additions & 1 deletion core/src/main/scala/org/labrad/ServerConnection.scala
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,8 @@ class ServerConnection(
val tls: TlsMode = TlsMode.STARTTLS,
val tlsCerts: Map[String, File] = Map(),
handler: Packet => Future[Packet],
val workerGroup: EventLoopGroup = Connection.defaultWorkerGroup
val workerGroup: EventLoopGroup = Connection.defaultWorkerGroup,
val requireSrp: Boolean = false
)(
implicit val executionContext: ExecutionContext = ExecutionContext.global
) extends Connection with Logging {
Expand Down
137 changes: 137 additions & 0 deletions core/src/main/scala/org/labrad/crypto/SRP.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,137 @@
package org.labrad.crypto

import java.math.BigInteger
import java.nio.charset.StandardCharsets.UTF_8
import java.security.SecureRandom
import org.bouncycastle.crypto.agreement.srp._
import org.bouncycastle.crypto.digests.SHA1Digest
import org.bouncycastle.crypto.params.SRP6GroupParameters
import scala.util.Try

/**
* Secure Remote Password (SRP) parameter groups, as defined in https://tools.ietf.org/html/rfc5054
*/
object SRP {

def groupFromString(name: String): SRP6GroupParameters = {
name match {
case "1024" => Group1024
case "1536" => Group1536
case "2048" => Group2048
case "4096" => Group4096
case "8192" => Group8192
case _ => sys.error(s"Invalid SRP group name: $name")
}
}

lazy val Group1024 = group(
N = hex("""
EEAF0AB9 ADB38DD6 9C33F80A FA8FC5E8 60726187 75FF3C0B 9EA2314C
9C256576 D674DF74 96EA81D3 383B4813 D692C6E0 E0D5D8E2 50B98BE4
8E495C1D 6089DAD1 5DC7D7B4 6154D6B6 CE8EF4AD 69B15D49 82559B29
7BCF1885 C529F566 660E57EC 68EDBC3C 05726CC0 2FD4CBF4 976EAA9A
FD5138FE 8376435B 9FC61D2F C0EB06E3
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would these be better suited for a resource file? Or would that separate it too much from the code? (I'm guessing these are related to the multiplicative group generator?)

"""),
g = 2
)

lazy val Group1536 = group(
N = hex("""
9DEF3CAF B939277A B1F12A86 17A47BBB DBA51DF4 99AC4C80 BEEEA961
4B19CC4D 5F4F5F55 6E27CBDE 51C6A94B E4607A29 1558903B A0D0F843
80B655BB 9A22E8DC DF028A7C EC67F0D0 8134B1C8 B9798914 9B609E0B
E3BAB63D 47548381 DBC5B1FC 764E3F4B 53DD9DA1 158BFD3E 2B9C8CF5
6EDF0195 39349627 DB2FD53D 24B7C486 65772E43 7D6C7F8C E442734A
F7CCB7AE 837C264A E3A9BEB8 7F8A2FE9 B8B5292E 5A021FFF 5E91479E
8CE7A28C 2442C6F3 15180F93 499A234D CF76E3FE D135F9BB
"""),
g = 2
)

lazy val Group2048 = group(
N = hex("""
AC6BDB41 324A9A9B F166DE5E 1389582F AF72B665 1987EE07 FC319294
3DB56050 A37329CB B4A099ED 8193E075 7767A13D D52312AB 4B03310D
CD7F48A9 DA04FD50 E8083969 EDB767B0 CF609517 9A163AB3 661A05FB
D5FAAAE8 2918A996 2F0B93B8 55F97993 EC975EEA A80D740A DBF4FF74
7359D041 D5C33EA7 1D281E44 6B14773B CA97B43A 23FB8016 76BD207A
436C6481 F1D2B907 8717461A 5B9D32E6 88F87748 544523B5 24B0D57D
5EA77A27 75D2ECFA 032CFBDB F52FB378 61602790 04E57AE6 AF874E73
03CE5329 9CCC041C 7BC308D8 2A5698F3 A8D0C382 71AE35F8 E9DBFBB6
94B5C803 D89F7AE4 35DE236D 525F5475 9B65E372 FCD68EF2 0FA7111F
9E4AFF73
"""),
g = 2
)

lazy val Group4096 = group(
N = hex("""
FFFFFFFF FFFFFFFF C90FDAA2 2168C234 C4C6628B 80DC1CD1 29024E08
8A67CC74 020BBEA6 3B139B22 514A0879 8E3404DD EF9519B3 CD3A431B
302B0A6D F25F1437 4FE1356D 6D51C245 E485B576 625E7EC6 F44C42E9
A637ED6B 0BFF5CB6 F406B7ED EE386BFB 5A899FA5 AE9F2411 7C4B1FE6
49286651 ECE45B3D C2007CB8 A163BF05 98DA4836 1C55D39A 69163FA8
FD24CF5F 83655D23 DCA3AD96 1C62F356 208552BB 9ED52907 7096966D
670C354E 4ABC9804 F1746C08 CA18217C 32905E46 2E36CE3B E39E772C
180E8603 9B2783A2 EC07A28F B5C55DF0 6F4C52C9 DE2BCBF6 95581718
3995497C EA956AE5 15D22618 98FA0510 15728E5A 8AAAC42D AD33170D
04507A33 A85521AB DF1CBA64 ECFB8504 58DBEF0A 8AEA7157 5D060C7D
B3970F85 A6E1E4C7 ABF5AE8C DB0933D7 1E8C94E0 4A25619D CEE3D226
1AD2EE6B F12FFA06 D98A0864 D8760273 3EC86A64 521F2B18 177B200C
BBE11757 7A615D6C 770988C0 BAD946E2 08E24FA0 74E5AB31 43DB5BFC
E0FD108E 4B82D120 A9210801 1A723C12 A787E6D7 88719A10 BDBA5B26
99C32718 6AF4E23C 1A946834 B6150BDA 2583E9CA 2AD44CE8 DBBBC2DB
04DE8EF9 2E8EFC14 1FBECAA6 287C5947 4E6BC05D 99B2964F A090C3A2
233BA186 515BE7ED 1F612970 CEE2D7AF B81BDD76 2170481C D0069127
D5B05AA9 93B4EA98 8D8FDDC1 86FFB7DC 90A6C08F 4DF435C9 34063199
FFFFFFFF FFFFFFFF
"""),
g = 5
)

lazy val Group8192 = group(
N = hex("""
FFFFFFFF FFFFFFFF C90FDAA2 2168C234 C4C6628B 80DC1CD1 29024E08
8A67CC74 020BBEA6 3B139B22 514A0879 8E3404DD EF9519B3 CD3A431B
302B0A6D F25F1437 4FE1356D 6D51C245 E485B576 625E7EC6 F44C42E9
A637ED6B 0BFF5CB6 F406B7ED EE386BFB 5A899FA5 AE9F2411 7C4B1FE6
49286651 ECE45B3D C2007CB8 A163BF05 98DA4836 1C55D39A 69163FA8
FD24CF5F 83655D23 DCA3AD96 1C62F356 208552BB 9ED52907 7096966D
670C354E 4ABC9804 F1746C08 CA18217C 32905E46 2E36CE3B E39E772C
180E8603 9B2783A2 EC07A28F B5C55DF0 6F4C52C9 DE2BCBF6 95581718
3995497C EA956AE5 15D22618 98FA0510 15728E5A 8AAAC42D AD33170D
04507A33 A85521AB DF1CBA64 ECFB8504 58DBEF0A 8AEA7157 5D060C7D
B3970F85 A6E1E4C7 ABF5AE8C DB0933D7 1E8C94E0 4A25619D CEE3D226
1AD2EE6B F12FFA06 D98A0864 D8760273 3EC86A64 521F2B18 177B200C
BBE11757 7A615D6C 770988C0 BAD946E2 08E24FA0 74E5AB31 43DB5BFC
E0FD108E 4B82D120 A9210801 1A723C12 A787E6D7 88719A10 BDBA5B26
99C32718 6AF4E23C 1A946834 B6150BDA 2583E9CA 2AD44CE8 DBBBC2DB
04DE8EF9 2E8EFC14 1FBECAA6 287C5947 4E6BC05D 99B2964F A090C3A2
233BA186 515BE7ED 1F612970 CEE2D7AF B81BDD76 2170481C D0069127
D5B05AA9 93B4EA98 8D8FDDC1 86FFB7DC 90A6C08F 4DF435C9 34028492
36C3FAB4 D27C7026 C1D4DCB2 602646DE C9751E76 3DBA37BD F8FF9406
AD9E530E E5DB382F 413001AE B06A53ED 9027D831 179727B0 865A8918
DA3EDBEB CF9B14ED 44CE6CBA CED4BB1B DB7F1447 E6CC254B 33205151
2BD7AF42 6FB8F401 378CD2BF 5983CA01 C64B92EC F032EA15 D1721D03
F482D7CE 6E74FEF6 D55E702F 46980C82 B5A84031 900B1C9E 59E7C97F
BEC7E8F3 23A97A7E 36CC88BE 0F1D45B7 FF585AC5 4BD407B2 2B4154AA
CC8F6D7E BF48E1D8 14CC5ED2 0F8037E0 A79715EE F29BE328 06A1D58B
B7C5DA76 F550AA3D 8A1FBFF0 EB19CCB1 A313D55C DA56C9EC 2EF29632
387FE8D7 6E3C0468 043E8F66 3F4860EE 12BF2D5B 0B7474D6 E694F91E
6DBE1159 74A3926F 12FEE5E4 38777CB6 A932DF8C D8BEC4D0 73B931BA
3BC832B6 8D9DD300 741FA7BF 8AFC47ED 2576F693 6BA42466 3AAB639C
5AE4F568 3423B474 2BF1C978 238F16CB E39D652D E3FDB8BE FC848AD9
22222E04 A4037C07 13EB57A8 1A23F0C7 3473FC64 6CEA306B 4BCBC886
2F8385DD FA9D4B7F A2C087E8 79683303 ED5BDD3A 062B3CF5 B3A278A6
6D2A13F8 3F44F82D DF310EE0 74AB6A36 4597E899 A0255DC1 64F31CC5
0846851D F9AB4819 5DED7EA1 B1D510BD 7EE74D73 FAF36BC3 1ECFA268
359046F4 EB879F92 4009438B 481C6CD7 889A002E D5EE382B C9190DA6
FC026E47 9558E447 5677E9AA 9E3050E2 765694DF C81F56E8 80B96E71
60C980DD 98EDD3DF FFFFFFFF FFFFFFFF
"""),
g = 19
)

private def group(N: BigInt, g: BigInt) = new SRP6GroupParameters(N.bigInteger, g.bigInteger)
private def hex(s: String): BigInt = BigInt(s.stripMargin.replaceAll("""\s""", ""), 16)
}
38 changes: 38 additions & 0 deletions core/src/main/scala/org/labrad/crypto/Util.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
package org.labrad.crypto

import scala.language.implicitConversions

import java.math.BigInteger

object BigInts {
object Implicits {
implicit def bigIntToBigInteger(n: BigInt): BigInteger = n.bigInteger

implicit class RichBigInt(val x: BigInt) extends AnyVal {
def toUnsignedByteArray: Array[Byte] = {
val bytes = x.toByteArray
if (bytes.length >= 2 && bytes(0) == 0) bytes.tail else bytes
}
}

implicit class RichBigInteger(val x: BigInteger) extends AnyVal {
def toUnsignedByteArray: Array[Byte] = {
val bytes = x.toByteArray
if (bytes.length >= 2 && bytes(0) == 0) bytes.tail else bytes
}
}
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Neat!

}

def toUnsignedByteArray(b: BigInteger): Array[Byte] = {
val bytes = b.toByteArray
if (bytes.length >= 2 && bytes(0) == 0) bytes.tail else bytes
}

def toUnsignedByteArray(b: BigInt): Array[Byte] = {
toUnsignedByteArray(b.bigInteger)
}

def fromUnsignedByteArray(bytes: Array[Byte]): BigInt = {
BigInt(0.toByte +: bytes)
}
}
13 changes: 13 additions & 0 deletions core/src/main/scala/org/labrad/util/package.scala
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@ package org.labrad.util

import java.io.{File, IOException}
import java.net.{DatagramSocket, ServerSocket, URI}
import java.nio.CharBuffer
import java.nio.charset.StandardCharsets.UTF_8
import java.util.regex.Pattern


Expand Down Expand Up @@ -180,4 +182,15 @@ object Util {
if (!ok) sys.error(s"failed to create directory: $dir")
}
}

/**
* Get array of UTF-8 bytes from an array of Chars.
*/
def utf8Bytes(chars: Array[Char]): Array[Byte] = {
val charBuffer = CharBuffer.wrap(chars)
val byteBuffer = UTF_8.encode(charBuffer)
val bytes = Array.ofDim[Byte](byteBuffer.remaining)
byteBuffer.get(bytes)
bytes
}
}
Loading