tls
TLS/SSL protocol native implementation (Server and Client)
http://github.com/vincenthz/hs-tls
Version on this page: | 1.6.0 |
LTS Haskell 23.0: | 2.1.1 |
Stackage Nightly 2024-12-13: | 2.1.5 |
Latest on Hackage: | 2.1.5 |
BSD-3-Clause licensed by Vincent Hanquez
Maintained by Kazu Yamamoto
This version can be pinned in stack with:
tls-1.6.0@sha256:7ae39373fd2de27fb80e90f76d22aeeb9a074a0ddd120cbd02c9c52f516a9e55,6987
Module documentation for 1.6.0
- Network
- Network.TLS
- Network.TLS.Cipher
- Network.TLS.Compression
- Network.TLS.Extra
- Network.TLS.Internal
- Network.TLS.QUIC
- Network.TLS
Depends on 16 packages(full list with versions):
Used by 18 packages in lts-21.25(full list with versions):
Native Haskell TLS and SSL protocol implementation for server and client.
This provides a high-level implementation of a sensitive security protocol, eliminating a common set of security issues through the use of the advanced type system, high level constructions and common Haskell features.
Currently implement the TLS1.0, TLS1.1, TLS1.2 and TLS 1.3 protocol, and support RSA and Ephemeral (Elliptic curve and regular) Diffie Hellman key exchanges, and many extensions.
Some debug tools linked with tls, are available through the http://hackage.haskell.org/package/tls-debug/.
Changes
Version 1.6.0
- Major version up because of disabling SSL3
- Some fixes against tlsfuzzer
Version 1.5.8
- Require mtl-2.2.1 or newer #448
Version 1.5.7
- New APIs: getFinished and getPeerFinished #445
Version 1.5.6
- Dynamically setting enctypted extensions #444
Version 1.5.5
- QUIC support #419 #427 #428 #430 #433 #441
- Server ECDSA for P-256 #436
- Sort ciphersuites based on hardware-acceleration support #439
- Sending no_application_protocol #440
- Internal improvements #426 #431
Version 1.5.4
Version 1.5.3
- Additional verification regarding EC signatures #412
- Fixing ALPN #411
- Check SSLv3 padding length #410
- Exposing getClientCertificateChain #407
- Extended Master Secret #406
- Brushing up the documentation #404 #408
- Improving tests #403
- Avoid calling onServerNameIndication twice with HRR #402
- Enable X448 and FFDHE groups #401
- Refactoring #400 #399
Version 1.5.2
NOTES:
- Starting with tls-1.5.0, the parameter
supportedVersions
contains values ordered by decreasing preference, so typically the higher versions first. This departs from code samples previously available. For maximum interoperability, users overriding the default value should verify and adapt their code.
Version 1.5.1
- Post-handshake authentication #363
- Middlebox compatibility #386
- Verification and configuration of session-ticket lifetime #373
- Fixing memory leak #366
- Don’t send 0-RTT data when ticket is expired #370
- Handshake packet fragmentation #371
- Fix SSLv2 deprecated header #383
- Other improvements to TLS 1.3 and RFC conformance #368 #372 #375 #376 #377 #378 #380 #382 #385 #387 #388
Version 1.5.0
- Add and enable AES CCM ciphers #271 #287
- Verify certificate key usage #274 #301
- TLS 1.3 support #278 #279 #280 #283 #298 #331 #290 #314
- Enable RSASSA-PSS #280 #353
- Add and enable ChaCha20-Poly1305 ciphers #287 #340
- Certificate selection with extension “signature_algorithms_cert” #302
- Preventing Logjam attack #300
- Downgrade protection #308
- Support for EdDSA certificates #328 #353
- Key logging #317
- Thread safety for writes #329
- Verify signature schemes and (EC)DHE groups received #337 #338
- Throw BadRecordMac when the decrypted record has invalid format #347
- Improve documentation format #341 #343
- Fix recvClientData with single Handshake packet #352
- Decrease memory footprint of SessionData values #354
FEATURES:
- TLS version 1.3 is available with most features but is not enabled by default.
One notable omission is post-handshake authentication. Scenarios where
servers previously used renegotiation to conditionally request a certificate
are not possible yet when
TLS13
is negotiated. Users may enable the version insupportedVersions
only when sure post-handshake authentication is not required.
API CHANGES:
SessionManager
implementations need to provide asessionResumeOnlyOnce
function to accomodate resumption scenarios with 0-RTT data. The function is called only on the server side.- Data type
SessionData
is extended with four new fields for TLS version 1.3.SessionManager
implementations that serializes/deserializesSessionData
values must deal with the new fields. - New configuration parameters and constructors are added for TLS version 1.3 but the API change should be backward compatible for most use-cases.
- Function
cipherExchangeNeedMoreData
has been removed.
Version 1.4.1
- Enable X25519 in default parameters #265
- Checking EOF in bye #262
- Improving validation in DH key exchange #256
- Handle TCP reset during handshake #251
- Accepting hlint suggestions.
Version 1.4.0
- Wrap renegotiation failures with HandshakeFailed #237
- Improve selection of server certificate and use “signature_algorithms” extension #236
- Change Bytes to ByteString and deprecate the Bytes type alias #230
- Session compression and SNI #223
- Deprecating ciphersuite_medium. Putting WARNING to ciphersuite_all since this includes RC4 #153 #222
- Removing NPN #214
- Supporting RSAPSS defined in TLS 1.3 #207
- Supporting X25519 and X448 in the IES style. #205
- Strip leading zeros in DHE premaster secret #201
FEATURES:
- RSASSA-PSS signatures can be enabled with
supportedHashSignatures
. This uses assignments from TLS 1.3, for example(HashIntrinsic, SignatureRSApssSHA256)
. - Diffie-Hellman with elliptic curves X25519 and X448: This can be enabled with
supportedGroups
, which also gives control over curve preference. - ECDH with curve P-256 now uses optimized C implementation from package
cryptonite
.
API CHANGES:
- Cipher list
ciphersuite_medium
is now deprecated, users are advised to useciphersuite_default
orciphersuite_strong
. Listciphersuite_all
is kept for compatibility with old servers but this is discouraged and generates a warning (this includes RC4 ciphers, see #153 for reference). - Support for NPN (Next Protocol Negotiation) has been removed. The replacement is ALPN (Application-Layer Protocol Negotiation).
- Data type
SessionData
now contains fields for compression algorithm and client SNI. ASessionManager
implementation that serializes/deserializesSessionData
values must deal with the new fields. - Module
Network.TLS
exports a type alias namedBytes
which is now deprecated. The replacement is to use strictByteString
directly.
Version 1.3.11
- Using reliable versions of dependent libraries.
Version 1.3.10
- Selecting a cipher based on “signature_algorithms” #193
- Respecting the “signature_algorithms” extension #137
- Fix RSA signature in CertificateVerify with TLS < 1.2 #189
- Fix ECDSA with TLS 1.0 / TLS 1.1 #187
- Sending an empty server name from a server if necessary. #175
Network.TLS.Extra
provides Finite Field Diffie-Hellman Ephemeral Parameters in RFC 7919 #174- Restore ability to renegotiate#164
Version 1.3.9
- Drop support for old GHC.
- Enable sha384 ciphers and provide
ciphersuite_default
as default set of ciphers for common needs #168 - SNI late checks #147
- Expose the HasBackend(..) class fully, so that developers can use TLS over their own channels #149
Version 1.3.8
- Fix older GHC builds
Version 1.3.7
- Disable SHA384 based cipher, as they don’t work properly yet.
Version 1.3.6
- Add new ciphers
- Improve some debugging and outputs
Version 1.3.5
- Fix a bug with ECDHE based cipher where serialization
- Debugging: Add a way to print random seed and a way to side-load a seed for replayability
- Improve tests
Version 1.3.4
- Fix tests on 32 bits
time_t
machines (time not within bound) - VirtualHost: Add a way to load credentials related to the hostname used by the client (Julian Beaumont)
- VirtualHost: Expose an API to query which hostname the client has contacted (Julian Beaumont)
- Add a way to disable empty packet that are use for security when using old versions + old CBC based cipher (Anton Dessiatov)
Version 1.3.3
- Add support for Hans (Haskell Network Stack) (Adam Wick)
- Add support for ECDSA signature
- Add support for ECDSA-ECDHE Cipher
- Improve parsing of ECC related structure
Version 1.3.2
- Add cipher suites for forward secrecy on more clients (Aaron Friel)
- Maintain more handshake information to be queried by protocol (Adam Wick)
- handle SCSV on client and server side (Kazu Yamamoto)
- Cleanup renegotiation logic (Kazu Yamamoto)
- Various testing improvements with the openssl test parts
- Cleanup AEAD handling for future support of other ciphers
Version 1.3.1
- Repair DHE RSA handling on the cipher by creating signature properly
Version 1.3.0
- modernize the crypto stack by using cryptonite.
Version 1.2.18
- add more tests (network, local)
- cleanup cipher / bulk code, certificate verify / creation, and digitall signed handling
- fix handling of DHE ciphers with MS SSL stack that serialize leading zero.
Version 1.2.17
- Fix an issue of type of key / hash that prevented connection with SChannel.
Version 1.2.16
- Fix an issue with stream cipher not correctly calculating the internal state, resulting systematically in bad record mac failure during handshake
Version 1.2.15
- support chain certificate in credentials
Version 1.2.14
- adding ALPN extension
- adding support for AEAD, and particularly AES128-GCM
- Adding support for ECDH
- Do not support SSL3 by default for security reason.
- add EnumSafe8 and 16 for specific sized Enum instance that are safer
- export signatureAndHash parser/encoder
- add a “known” list of extensions
- add SignatureAlgorithms extension
- add Heartbeat extension
- add support for EC curves and point format extensions
- add preliminary SessionTicket extension
- Debug: Add the ability to choose arbitrary cipher in the client hello.
Version 1.2.13
- Fix compilation with old mtl version
Version 1.2.12
- Propagate asynchronous exception
Version 1.2.11
- use hourglass instead of time
- use tasty instead of test-framework
- add travis file
- remove old de-optimisation flag as the bytestring bug is old now and it conflict with cabal check
Version 1.2.10
- Update x509 dependencies
Version 1.2.9
- Export TLSParams and HasBackend type names
- Added FlexibleContexts flag required by ghc-7.9
- debug: add support for specifying the timeout length in milliseconds.
- debug: add support for 3DES in simple client
Version 1.2.8
- add support for 3DES-EDE-CBC-SHA1 (cipher 0xa)
Version 1.2.7
- repair retrieve certificate validation, and improve fingerprints
- remove groom from dependency
- make RecordM an instance of Applicative
- Fixes the Error_EOF partial pattern match error in exception handling
Version 1.2.6 (23 Mar 2014)
- Fixed socket backend endless loop when the server does not close connection properly at the TLS level with the close notify alert.
- Catch Error_EOF in recvData and return empty data.
Version 1.2.5 (23 Mar 2014)
- Fixed Server key exchange data being parsed without the correct context, leading to not knowing how to parse the structure. The bug happens on efficient server that happens to send the ServerKeyXchg message together with the ServerHello in the same handshake packet. This trigger parsing of all the messages without having set the pending cipher. Delay parsing, when this happen, until we know what to do with it.
Version 1.2.4 (23 Mar 2014)
- Fixed unrecognized name non-fatal alert after client hello.
- Add SSL3 to the supported list of version by default.
- Fix cereal lower bound to 0.4.0 minimum
Version 1.2.3 (22 Mar 2014)
- Fixed handshake records not being able to span multiples records.