Cryptography
Bigloo provides several functions for encrypting and decrypting documents. These are described in the chapter. Unless explicitly mentioned all functions presented in this document are accessible via thecrypto
library.
None of the cryptographic functions are protected against timing attacks.
No effort has been spent on protecting used memory.
Here is an example of a module that uses this library:
;; Encrypt a string using AES. (module aes-encrypt (library crypto) (main main)) (define (main argv) (when (and (pair? (cdr argv)) (pair? (cddr argv))) (let ((encrypt? (string=? "-e" (cadr argv))) (passwd (caddr argv)) (input (read-string))) (if encrypt? (display (encrypt 'aes input passwd)) (display (decrypt 'aes input passwd))))))
Symmetric Block Ciphers
Bigloo supports some common block ciphers. Block ciphers work on blocks of fixed size. A mode of operation defines the way bigger input is handled. For instance in ECB (Electronic Codebook mode) the blocks are all encrypted separately, whereas CBC (Cipher-Block Chaining) chains all blocks. All modes that chain the blocks need an IV (Initial Vector) to ``bootstrap'' the chaining. Block ciphers by themselves can only work on full blocks. Some modes are constructed in a way that even incomplete blocks can be safely processed. For the remaining blocks a padding function needs to be given. Most block ciphers only work with keys of specific length. The following functions take passwords (strings of arbitrary length) as input, and preprocess the given password by a :string->key function. The result must then be of correct length.encrypt::bstring cipher plain password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
encrypt-string::bstring cipher plaintext::bstring password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
encrypt-mmap::bstring cipher plaintext::mmap password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
encrypt-port::bstring cipher plaintext::input-port password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
encrypt-file::bstring cipher filename::bstring password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
encrypt-sendchars cipher in::input-port out::output-port password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
The procedureencrypt
encrypts its input using the chosen cipher. The result is returned as string.
encrypt
dispatches depending on the type of plain. Strings are processed by encrypt-string
(and
not encrypt-file
).
The function encrypt-sendchars
reads from an input-port in and encrypts its output directly
into an output-port out.
The symbol cipher can be one of:
des
: Data Encryption Standard (DES). DES works on blocks of 64 bits. DES requires keys of length 64 (bits), but only 56 of these bits are actually used. Bigloo's implementation therefore accepts both.
DES is considered to be insecure and its usage is discouraged.
des3
: Triple DES, Triple Data Encryption Algorithm (DES3, TDEA). DES3 works on blocks of 64 bits. DES3 requires keys of
length 128 or 192 (bits), but only 112/168 of these bits are actually used. Bigloo's
implementation therefore accepts the smaller keys too.
Bigloo's DES3 implementation has been changed with release 3.4b. Earlier
versions did not use the full key for en/decryption.
des-np
: Same asdes
, but the initial and final permutations are not performed.des3-np
: Same asdes3
, but the initial and final permutations are not performed.aes
: Advanced Encryption Standard (AES). AES works on blocks of 128 bits. AES requires keys of length 128, 192 or 256 bits.
cast-128
: CAST-128 (CAST5). CAST-128 works on blocks of 64 bits. CAST-128 requires a key-length of 40-128 bits.
idea
: International Data Encryption Algorithm (IDEA). IDEA works on blocks of 64 bits. It requires keys of length 128 (in bits). IDEA is patented in many countries (including
the USA and most European countries) but it is free for non-commercial use.
string->key-hash
with SHA-1 will be used. The key-length will depend
on the chosen cipher:
des
: 56 bits.des3
: 112 bits.des-np
: Same asdes
.des3-np
: Same asdes3
.aes
: 192 bits.cast-128
: 128 bits.idea
: 128 bits.
ecb
: Electronic codebook.cbc
: Cipher-block chaining.pcbc
: Propagating cipher-block chaining.cfb
: Cipher feedback.ofb
: Output feedback.ctr
: Counter.
cfb
is chosen.
Electronic codebook mode en/decodes each block independently and is hence the
closest to the block cipher. It is however inherently unsafe as blocks with
the same content are encrypted to the same output.
With the exception of ecb
all other modes can be initialized with an IV
(Initialization vector). If :IV is false, then a random one will be generated.
During encryption this randomly generated IV will be prefixed to the result. When
calling the decryption routine without any IV the procedure will use the first block
of the input as IV.
In ctr
(counter) mode the IV parameter serves as nonce. Two additional
key-parameters :nonce-init
and :nonce-update
are then used to
initialize and update the block-sized nonce string. Before encrypting the first block
nonce-init
will be invoked with an empty block-sized string and the initial
nonce (IV). It must initialize the string with the nonce. For each block
nonce-update
will be called with the string, the nonce, and the number of
already encrypted blocks (hence 0 at the very beginning). By default
nonce-init
takes the IV-string and blits it into the given string.
nonce-update
simply increments the string (treating the given string as
one big number).
Note that the initial nonce (passed using IV) may be of any type. As long as
nonce-init
and nonce-update
correctly initialize and update the
passed string.
The input's length of modes ecb
, cbc
and pcbc
must be a
multiple of the block-size. Should this not be the case a padding algorithm
must be specified (:pad
). Currently are implemented (examples for
hexadecimal string ``DD'' and cipher block size 4):
none
: No padding. Raises an error should the input not be a multiple.bit
: Bit padding. Add a '1' bit and then '0' bits. Example: ``DD 80 00 00''.
ansi-x.923
: Byte padding. Fill with #x00s followed by the number of added bytes (the counter inclusive). Example: ``DD 00 00 03''.
iso-10126
: Fill with random characters followed by the number of added bytes (the counter inclusive). Example: ``DD 42 31 03''.
pkcs7
: Fill with the number of added bytes. Example: ``DD 03 03 03''.zero
: Fill with zeros. This is only reversible if the input is guaranteed not to finish with a zero character. Example: ``DD 00 00 00''.
(pad::bool str::bstring valid-chars::long)
. It
receives the last block of the input. Should the input be of correct length then the an
empty block will be sent to the padding function. valid-chars
indicates the number
of read characters. It ranges from 0 to blocksize-1. The
padding function should fill the block and return #t
if this last block should
be encoded. By returning #f
the last block will be discarded. This makes
only sense if valid-chars
was equal to 0.
The unpadding procedure has the signature (unpad::long str::bstring)
. The
input string will have the length of the block-size. The unpadding function may
modify the string and must return the number of characters that are valid.
.keep
decrypt::bstring cipher ciphertext password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
decrypt-string::bstring cipher ciphertext::bstring password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
decrypt-mmap::bstring cipher ciphertext::mmap password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
decrypt-port::bstring cipher ciphertext::input-port password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
decrypt-file::bstring cipher filename::bstring password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
decrypt-sendchars cipher in::input-port out::output-port password [:string->key] [:mode 'cfb] [:IV #f] [:pad 'none] [:nonce-init!] [:nonce-update!]bigloo cryptography procedure
Counterpart to the encryption functions. With the same parameters thedecrypt
function will
decrypt the result of an encrypt
call. Without :IV (Initial Vector) the decrypt
function
will use the first block as IV.
.keep
For compatibility the following functions remain in Bigloo. They are in the default
library and not inside the crypto
library.
aes-ctr-encrypt text password [nbits 128]bigloo procedure
aes-ctr-encrypt-mmap mmap password [nbits 128]bigloo procedure
aes-ctr-encrypt-string string password [nbits 128]bigloo procedure
aes-ctr-encrypt-port iport password [nbits 128]bigloo procedure
aes-ctr-encrypt-file filename password [nbits 128]bigloo procedure
These functions are equivalent to a call toaes-encrypt
with mode set to
ctr
and a special :string->key
parameter. The optional
argument nbits must either be 128
, 192
, or 256
and
determines the size of the key.
.keep
aes-ctr-decrypt text password [nbits 128]bigloo procedure
aes-ctr-decrypt-mmap mmap password [nbits 128]bigloo procedure
aes-ctr-decrypt-string string password [nbits 128]bigloo procedure
aes-ctr-decrypt-port iport password [nbits 128]bigloo procedure
aes-ctr-decrypt-file filename password [nbits 128]bigloo procedure
Counterpart toaes-ctr-encrypt
.
.keep
String to Key
The following string->key algorithms take a password string and transform it to a key string of a given length. In all the functions the len is expressed in bytes.string->key-zero str lenbigloo cryptography procedure
If the length of the input string str is greater or equal to len bytes then the first str characters are returned. Otherwise str is suffixed with '0' (#a000
) characters.
.keep
string->key-hash str len hash-funbigloo cryptography procedure
The input string str is run through the given hash function hash-fun. The result is then concatenated multiple times (with itself) until a string of the len bytes is obtained. In the following example we encrypt some-message using a password"my password"
. The password will be transformed to
256 bits (32 bytes) using the string->key256
function.
(define (string->key256 password) (string->key-hash password 32 (lambda (str) (string-hex-intern (sha1sum str))))) (encrypt 'aes some-message "my password" :string->key string->key256)Note that the following example yields an identical result:
(define (string->key256 password) (string->key-hash password 32 (lambda (str) (string-hex-intern (sha1sum str))))) (encrypt 'aes some-message (string->key256 "my password") :string->key (lambda (x) x))
.keep
string->key-simple str len hash-funbigloo cryptography procedure
This function implements the simple s2k algorithm of OpenPGP (RFC 2440). Basically str is run through the hash-fun several times until the concatenation of the results is long enough. At each iteration the string is prefixed with count '0'-bytes (where count is the iteration counter)..keep
string->key-salted str len hash-fun saltbigloo cryptography procedure
This function implements the salted s2k algorithm of OpenPGP (RFC 2440). Similar tostring->key-simple
but the input string is first prefixed with
salt.
.keep
string->key-iterated-salted str len hash-fun salt countbigloo cryptography procedure
This function implements the iterated salted s2k algorithm of OpenPGP (RFC 2440). The variable count must be a long. This algorithm is an extension ofstring->key-salted
where the hash function is applied
repeatedly.
This function has changed with release 3.4b. Earlier
versions could be incompatible with RFC 2440.
.keep
Public Key Cryptography
Rivest, Shamir, and Adleman (RSA)
Bigloo's implementation of RSA is based on RFC 3447, PKCS #1 v2.1. It does not feature multiprime RSA, though. Bigloo's implementation is not secure against timing attacks. Furthermore some error codes might reveal information to attackers.RSA Keys
There are two kinds of RSA keys inside Bigloo: complete and partial keys. A complete key contains the information of both the public and the private key (together with other information that could be reconstructed out of the private key). A partial key just contains the modulus and the private or public exponent.RSA-Keybigloo cryptography class
Complete-RSA-Keybigloo cryptography class
(class Rsa-Key modulus::bignum exponent::bignum) (final-class Complete-Rsa-Key::Rsa-Key ;; for the complete-rsa-key "exponent" takes the role of 'd' e::bignum p::bignum q::bignum exp1::bignum ;; d mod (p-1) exp2::bignum ;; d mod (q-1) coeff::bignum) ;; (inverse of q) mod p
.keep
RSA keys can be read and written using read-pem-key
and
write-pem-key
(PEM).
generate-rsa-key [:key 1024] [:show-trace]bigloo cryptography procedure
This function generates a new RSA key (with its public and private components). Do not use this function for critical applications. No special effort has been undertaken to guarantee the randomness of the generated prime numbers, nor to weed out insecure keys..keep
Complete keys can be accessed using the following functions:
extract-public-rsa-key complete-keybigloo cryptography procedure
Returns the public partial key of the given complete key. This procedure is implemented as follows:(define (extract-public-rsa-key::Rsa-Key key::Complete-Rsa-Key) (with-access::Complete-Rsa-Key key (modulus e) (make-Rsa-Key modulus e)))
.keep
extract-private-rsa-key complete-keybigloo cryptography procedure
Returns the private partial key of the given complete key..keep
rsa-key=? key1 key2bigloo cryptography procedure
Returns true if the two keys have the same modulus and public exponent. The exponent of a partial key is considered to be public..keep
rsa-key-length keybigloo cryptography procedure
Returns the key length in bytes..keep
RSA basic operations
RSA only works on bignums (up to the size of the modulus). The following procedures implement basic encryption, decryption, signing and signature verification.rsa-encrypt key mbigloo cryptography procedure
Encrypts the bignum m using the given key. If the key is a complete key then its public exponent is used. For partial keys only one exponent is available (which is assumed to be the public 'e' of the recipient). The result is again a bignum..keep
rsa-decrypt key cbigloo cryptography procedure
Decrypts the bignum c using the given key. If the key is a complete key then its private exponent is used. For partial keys only one exponent is available (which is assumed to be the private 'd'). The result is again a bignum..keep
rsa-sign k mbigloo cryptography procedure
Signs the bignum m using key k. Uses the private exponent of complete keys. The result is a bignum..keep
rsa-verify k m sbigloo cryptography procedure
Verifies the signature s. Returns true if s is the signature of m. The key k should be the public key of the signer..keep
Examples
In this section we will present an example of using RSA. Let's start by generating an RSA key in openssl:$ openssl genrsa -out my_rsa_key.pem 1024Our key will have 1024 bits (for the public modulus), and therefore RSA will only be able to work with bignums up to 1024 bits (128 bytes). Now some Bigloo code that uses this key. Start by loading the library.
(module rsa-example (library crypto))Now read the key:
(define *key* (read-pem-key "my_rsa_key.pem")) (define *public-key* (extract-public-rsa-key *key*))The public portion of the key can be distributed:
;; publish the *public-key*: (write-pem-key-string *public-key*)Now let's sign the message ``My Important Message''. This message is sufficiently short to be signed directly, but in general it is better to get a hash of the message:
(define msg-hash (sha1sum "my message")) (define msg-hash-bignum (octet-string->bignum msg-hash))The result of
sha1sum
returns a human readable representation
of the hash. It would hence be possible to transform it back to
an internal representation before applying the
octet-string->bignum
function:
(define msg-hash-bignum (octet-string->bignum (string-hex-intern msg-hash)))In our case both variants are small enough to fit into our keys. The latter version is however more often used. Now that we have a message hash in bignum form we can sign it.
(define signature (rsa-sign *key* msg-hash-bignum))The signature is again in bignum form. If needed there are several ways to transform it into string-form (for instance
bignum->string
or bignum->octet-string
).
The signature can now be distributed. Anyone wanting to verify the signature
simply has to create the same message-hash and call rsa-verify
with our
public key:
(rsa-verify *public-key* msg-hash-bignum signature) ⇒ #tEncryption and decryption work in a similar way. Suppose someone (let's say ``Alice'') wants to send us the following secret message ``Cryptography''. The encryption and decryption functions work, similar to the signature functions, on bignums. We could, as before, simply transform this short string into a bignum and directly encrypt the bignum. This approach would however not work for longer strings. In the following we will present the generic version that works with strings of any size. Public key cryptography is relatively slow and Alice thus starts by encrypting our message a fast block cipher with a ``random'' password:
(define encrypted (encrypt 'aes "Cryptography" "my random password"))Alice can already send us the encrypted message. We will just not yet be able to decrypt it, as we don't have the random password yet. Alice now takes her random password string and encrypts it with our public key:
(define encrypted-key (rsa-encrypt *public-key* (octet-string->bignum "my random password")))Alice simply sends us the
encrypted-key
. On our side we can now
decrypt the key:
(define aes-key (bignum->octet-string (rsa-decrypt *key* encrypted-key)))We can now decrypt the previously received message:
(decrypt 'aes aes-key encrypted) ⇒ "Cryptography"
RSA RFC 3447
The following functions have been defined in RFC 3447.RSAEP k mbigloo cryptography procedure
RSADP k cbigloo cryptography procedure
RSASP1 k mbigloo cryptography procedure
RSAVP1 k sbigloo cryptography procedure
These are the RFC 3447 names for encryption, decryption, signature and signature verification. Note that the verification does not receive the original message as parameter. In factrsa-verify
is implemented as follows:
(define (rsa-verify k m s) (=bx m (RSAVP1 k s)))
.keep
PKCS1-v1.5-pad m-str key-len modebigloo cryptography procedure
PKCS1-v1.5-unpad em-str modebigloo cryptography procedure
Pads (resp. unpads) the given string using PKCS1-v1.5 specifications. Mode must be 0, 1 or 2..keep
RSAES-PKCS1-v1.5-encryptt key m-strbigloo cryptography procedure
RSAES-PKCS1-v1.5-decrypt key c-strbigloo cryptography procedure
RSASSA-PKCS1-v1.5-sign key msg-str [:hash-algo 'sha-1]bigloo cryptography procedure
RSASSA-PKCS1-v1.5-verify key msg-str S-strbigloo cryptography procedure
RSASSA-PKCS1-v1.5-sign-bignum key msg-str [:hash-algo 'sha-1]bigloo cryptography procedure
RSASSA-PKCS1-v1.5-verify-bignum key msg-str Sbigloo cryptography procedure
RSAES-PKCS1-v1.5 functions work on strings. However their length is limited by the size of the modulus (to be exact: by key-len - 11). The-bignum
functions skip the last step of converting the
internal bignum to strings.
The optional :hash-algo
must be either sha-1
or md5
(RFC 3447 allows other hash algorithms, but they are not yet implemented).
.keep
RSAES-OAEP-encrypt key m-str [:label ""]bigloo cryptography procedure
RSAES-OAEP-decrypt key cypher-str [:label ""]bigloo cryptography procedure
RSASSA-PSS-sign key msg-strbigloo cryptography procedure
RSASSA-PSS-verify key msg-str sig-strbigloo cryptography procedure
These functions pad, mask, etc the input string before they perform their operation on them. See RFC 3447 for more information..keep
Digital Signature Algorithm (DSA)
Bigloo has rudimentary (but usually sufficient) support for DSA. While it is not possible to generate new DSA keys inside Bigloo one can sign or verify with Bigloo. DSA keys can be read and written usingread-pem
(PEM).
For consistency with RSA we have named DSA keys in a similar way as
the RSA keys. The public part of a DSA key can be found in the class
DSA-Key
while the private part is added in the
Complete-DSA-Key
subclass.
DSA-Keybigloo cryptography class
Complete-DSA-Keybigloo cryptography class
(class Dsa-Key p::bignum q::bignum g::bignum y::bignum) (final-class Complete-Dsa-Key::Dsa-Key x::bignum)) ;; the private key
.keep
extract-public-dsa-key complete-keybigloo cryptography procedure
Returns aDSA-Key
without the private x.
.keep
dsa-sign m keybigloo cryptography procedure
Signs the bignum m using the private dsa key key. The result are two values: r and s. A typical call todsa-sign
is hence of the following form
(receive (r s) (dsa-sign secret-key hashed-msg-bignum) (process-signature r s))
.keep
dsa-verify m key r sbigloo cryptography procedure
Verifies a signature (consisting of r and s)..keep
DSA works very similar to RSA. Have a look at RSA's example section.
ElGamal
Bigloo supports ElGamal encryption (but not signing). Bigloo's implementation is minimal. For consistency with RSA ElGamal keys are similarly named as their RSA counterparts.ElGamal-Keybigloo cryptography class
Complete-ElGamal-Keybigloo cryptography class
(class ElGamal-Key p::bignum g::bignum y::bignum) (final-class Complete-ElGamal-Key::ElGamal-Key x::bignum)) ;; the private key
.keep
extract-public-elgamal-key complete-keybigloo cryptography procedure
Returns a copy of the public part (asElGamal Key
).
.keep
elgamal-encrypt key mbigloo cryptography procedure
Encrypts the bignum m using the given public key. The result are two valuesc1
and c2
.
Note that ElGamal encryption needs random bytes for every encryption. This
means that this function may return different results with the same parameters.
It furthermore implies that the result is insecure if the operating system
provides bad random numbers, or if Bigloo's random-number generation is buggy.
For critical applications be sure to verify both requirements.
.keep
elgamal-decrypt complete-key c1 c2bigloo cryptography procedure
Decrypts an ElGamal encrypted message (consisting of the two bignums c1 and c2) with the given private key..keep
elgamal-key-length keybigloo cryptography procedure
Returns the key length in bytes..keep
ElGamal works very similar to RSA. Have a look at RSA's example section.
PEM
Bigloo is able to read and write RSA and DSA keys in PEM format. This is the default format used by OpenSSL. The following example creates a new DSA key pair in OpenSSL and stores it in PEM format.$ openssl dsaparam 1024 -out /tmp/dsaparam $ openssl gendsa /tmp/dsaparam
read-pem-key inbigloo cryptography procedure
read-pem-key-port input-portbigloo cryptography procedure
read-pem-key-file filenamebigloo cryptography procedure
read-pem-key-string strbigloo cryptography procedure
These functions will read a PEM encoded key. The encoded file may contain a private or public RSA key, or a private or public DSA key. The procedureread-pem-key
accepts input-ports and strings. In the case
of a string it will invoke read-pem-key-file
(and not read-pem-key-string
).
.keep
write-pem-key key out [public-key-only?]bigloo cryptography procedure
write-pem-key-port key out [public-key-only?]bigloo cryptography procedure
write-pem-key-file key out [public-key-only?]bigloo cryptography procedure
write-pem-key-string key [public-key-only?]bigloo cryptography procedure
These functions write the given key. The key may be a private/public RSA/DSA key. The procedurewrite-pem-key
accepts output-ports and strings as
out parameter. If out is a string it will delegate to
write-pem-key-file
.
.keep
OpenPGP
Bigloo implements parts of OpenPGP (RFC 2440, RFC 4880). All OpenPGP functions are accessible via theopenpgp
library.
Here is an example of a module that uses this library:
;; Encrypt a string using openpgp default encryption. (module pgp-encrypt (library openpgp) (main main)) (define (main argv) (when (and (pair? (cdr argv)) (pair? (cddr argv))) (let ((encrypt? (string=? "-e" (cadr argv))) (passwd (caddr argv)) (input (read-string))) (if encrypt? (display (pgp-write-string (pgp-encrypt input '() ;; no public keys (list passwd)))) (let ((composition (pgp-read-string input))) (display (pgp-decrypt composition :passkey-provider (lambda () passwd))))))))
pgp-composition? compositionbigloo openpgp procedure
Returnstrue
if and only if composition is a PGP-Composition.
Returns false
otherwise.
.keep
pgp-read-string strbigloo openpgp procedure
pgp-read-port iportbigloo openpgp procedure
pgp-read-file file-namebigloo openpgp procedure
These functions read and decode PGP data. OpenPGP allows several keys to be stored in the same message. Thereforepgp-read
will
return keys always in a list (even if the message only contains one
key).
The return value is either a list of PGP-compositions (PGP-Keys), or a
single PGP-composition.
.keep
pgp-write-string composition [:format 'armored]bigloo openpgp procedure
pgp-write-port oport composition [:format 'armored]bigloo openpgp procedure
pgp-write-file file-name composition [:format 'armored]bigloo openpgp procedure
The counter-part ofpgp-read
. These functions encode
PGP-compositions. By default the result is armored (i.e. encoded with
ASCII characters). If the optional :format
parameter is
different than the symbol armored
, then the composition is
encoded in binary.
Note that there is no means to encode a list of PGP-keys.
.keep
pgp-encrypt msg-string keys passwords [:hash-algo 'sha-1] [:symmetric-algo 'cast5]bigloo openpgp procedure
Encrypts the given string. The returned composition can be decrypted by the owners of the keys, or with one of the passwords. In the following example Alice and Bob may use their private key to decrypt the secret message. Users knowing the one of the passwords (``foo'' and ``bar'') will also be able to decrypt the message.(pgp-write-file "encrypted.pgp" (pgp-encrypt "my secret message" (list alice-key bob-key) '("foo" "bar")))The given keys should be subkeys of a PGP-key, but if a PGP-key is given Bigloo will do its best to pick the correct subkey for encryption.
- If only one subkey exists (the main-key) then this subkey is used.
- If two subkeys exist, and the non-main key is suitable for encryption, then the non-main key is used.
- If only one of many subkeys (including the main-key) is suitable for encryption, then this subkey is used.
- Else Bigloo raises an error.
.keep
pgp-password-encrypt msg-string password [:hash-algo 'sha-1] [:symmetric-algo 'cast5] [:mdc #t]bigloo openpgp procedure
Deprecated. Encryptsmsg-string
with the given password. The returned
PGP-composition does not contain any information which hash-algorithm
and symmetric encryption algorithm has been used. RFC 4880 specifies
that IDEA and MD5 should be used. However GnuPG uses SHA-1 and
CAST5. Therefore Bigloo defaults to the latter algorithms.
Even though the usage of this PGP message is deprecated it yields the
smallest encrypted data. It may be of interest when compatibility with
other tools is not a requirement (but why use OpenPGP then).
The optional mdc
flag triggers the usage of a modification
detection code. It is more secure against tampering but requires more
space and might not be recognized by old openpgp implementations.
.keep
pgp-decrypt encrypted [:passkey-provider (lambda () #f)] [:password-provider (lambda (key) #f)] [:key-manager (lambda (key-id) '())] [:hash-algo 'sha-1] [:symmetric-algo 'cast5] [:ignore-bad-packets #f]bigloo openpgp procedure
Decrypts a PGP-composition that has been generated bypgp-encrypt
or by pgp-password-encrypt
.
The function returns the decrypted message (a string) or #f
if
decryption was not possible.
If the message can be decrypted with a private key, then Bigloo will
call the key-manager
and request a list of PGP-subkeys that
match the given key-id.
If a subkey (returned by the key-manager) is not yet decrypted, Bigloo
will invoke the password-provider
with the subkey, and request
a password to decrypt the private part of the subkey.
If the message can be decrypted with a password Bigloo will then
request a passkey by invoking the passkey-provider
.
The optional arguments hash-algo
and symmetric-algo
are
only used for messages that have been encrypted with
pgp-password-encrypt
.
The option arguments ignore-bad-packets
enables decoding partial
packets but pay attention that a message decoded with bad packets
may have been tempered.
.keep
pgp-sign msg-string key password-provider [:detached-signature? #t] [:one-pass? #f] [:hash-algo 'sha-1]bigloo openpgp procedure
Signsmsg-string
with the given key. Ideally the key should be
a subkey, but if a complete PGP-Key is given, Bigloo will use the
main-key instead. If the main-key is not suitable for signing, then an
error is raised.
If the private part of the key has not yet been decrypted then Bigloo
will call the password-provider (a procedure) with the subkey to get a
password (a string).
The function returns a PGP-composition.
If the optional detached-signature?
parameter is set to
#f
then the msg-string is not included in the returned
composition.
The one-pass?
and hash-algo
parameters are usually left
at its default values.
Example:
(let ((my-key (car (pgp-read-file "my-key.pgp")))) (pgp-write-file "msg.sig" (pgp-sign "my signed message" my-key (lambda (key) "my-password") :detached-signature? #f)))
.keep
pgp-verify signature key-manager [:msg #f]bigloo openpgp procedure
Verifies a signature. The key-manager is a function that takes a substring identifier and returns a list of keys matching this id. Since a signature composition may contain several signatures this function may be invoked several times. The result is a list of subkeys that signed the message. If the key-manager doesn't have any of the signature-keys then the result is the empty list. A message (string) needs only be given if the signature is detached. Otherwise the original message is encoded in the signature-composition. Example:(let ((sig (pgp-read-file "msg.sig"))) (let ((signers (pgp-verify sig my-key-manager))) (for-each (lambda (subkey) (print (subkey->string subkey) " signed the message")) signers)))
.keep
pgp-signature-message signaturebigloo openpgp procedure
Returns the signature's message, or#f
if the signature is a
detached signature.
.keep
pgp-key? keybigloo openpgp procedure
pgp-subkey? keybigloo openpgp procedure
Predicates for PGP-Key and PGP-Subkey..keep
pgp-subkeys keybigloo openpgp procedure
Returns a list of PGP-Subkeys of the PGP-Key. The first key in the list is the main-key. The main-key is used as default for signatures..keep
pgp-key->string keybigloo openpgp procedure
pgp-subkey->string keybigloo openpgp procedure
Returns a string representation of the key (resp. subkey). Example outputs:(pgp-key->string key) ⇒ John Doe john.doe@gmail.com ⇒ bd4df3b2ddef790c RSA (Encrypt or Sign) ⇒ 424610a65032c42e RSA (Encrypt or Sign) (pgp-subkey->string (car (pgp-subkeys key))) ⇒ John Doe john.doe@gmail.com ⇒ bd4df3b2ddef790c RSA (Encrypt or Sign)
.keep
pgp-key-id subkeybigloo openpgp procedure
pgp-key-fingerprint subkeybigloo openpgp procedure
Returns the id (resp. fingerprint) of a subkey. A subkey-id is a 8-character binary string. A fingerprint is a 20-character binary string..keep
pgp-make-key-dbbigloo openpgp procedure
pgp-key-db?bigloo openpgp procedure
pgp-add-key-to-db db keybigloo openpgp procedure
pgp-add-keys-to-db db keysbigloo openpgp procedure
pgp-resolve-key db idbigloo openpgp procedure
pgp-db-print-keys dbbigloo openpgp procedure
A simple key-manager implementation based on lists..keep
Examples
Signatures
Unless you already have a gpg key create a new PGP key with gpg. Note that DSA with a keysize greater than 1024 does not work with SHA-1. SHA-224,256,384,512 would work, but are not yet implemented in Bigloo.$ gpg --gen-key ... pub 1024D/A2DA694E 2010-08-07 [expires: 2010-08-27] Key fingerprint = DFAF 5894 9003 8640 D45B 6199 07CA 0495 A2DA 694E uid Bigloo Example sub 1024g/0B8985E5 2010-08-07 [expires: 2010-08-27]We export both the public and the private key.
$ gpg -a -o A8453FAB_Bigloo_Example_User.pkey --export A8453FAB $ gpg -a -o A8453FAB_Bigloo_Example_User.skey --export-secret-keys A8453FABThis small program will simply read the key and print a human-readable representation.
;; contents of print-key.scm (module print-key (library openpgp) (main my-main)) (define (my-main args) (let ((public-key (car (pgp-read-file "A2DA694E_Bigloo_Example.pkey"))) (secret-key (car (pgp-read-file "A2DA694E_Bigloo_Example.skey")))) (display (pgp-key->string public-key)) (display (pgp-key->string secret-key))))The compilation is straight-forward and does not require any special flags:
$ bigloo print-key.scm -o print-key $ ./print-key Bigloo Example 07ca0495a2da694e DSA (Digital Signature Standard) 5fa4e8c90b8985e5 ElGamal (Encrypt-Only) Bigloo Example 07ca0495a2da694e DSA (Digital Signature Standard) 5fa4e8c90b8985e5 ElGamal (Encrypt-Only)As can be seen, the
pgp-key->string
routine does not
differentiate between public and private keys.
We can also sign a message:
(let ((my-key (car (pgp-read-file "A2DA694E_Bigloo_Example.skey")))) (pgp-write-file "msg.sig" (pgp-sign (read-string) my-key (lambda (key) "<Bigloo Example Password>") :detached-signature? #f)))Signatures from Bigloo follow RFC 4880 and can therefore be verified by
gpg
.
$ echo "Gpg can verify Bigloo's signature" | ./sign $ gpg --verify msg.sig gpg: Signature made Sat 07 Aug 2010 10:12:21 PM CEST using DSA key ID A2DA694E gpg: Good signature from "Bigloo Example"Inversely Bigloo can verify
pgp
's signature. Here we first
generate a signature with gpg
.
$ echo "Bigloo can verify gpg's signatures." | \ gpg -o msg_gpg.sig -a \ --default-key "Bigloo Example" \ --passphrase <Bigloo Example Password> \ --sign You need a passphrase to unlock the secret key for user: "Bigloo Example" 1024-bit DSA key, ID A2DA694E, created 2010-08-07The following program reads OpenPGP signatures and verifies them. For simplicity the key database will only contain one key, but it could contain any number of keys.
(let ((my-key (car (pgp-read-file "A2DA694E_Bigloo_Example.pkey"))) (sig (pgp-read-file "msg_gpg.sig")) (db (pgp-make-key-db))) (pgp-add-key-to-db db my-key) (print "Signature message: " (pgp-signature-message sig)) (let ((signers (pgp-verify sig (lambda (id) (pgp-resolve-key db id))))) (for-each (lambda (subkey) (display (pgp-subkey->string subkey))) signers)))As expected, the program verifies the correct signature.
$ ./verify Signature message: Bigloo can verify gpg's signatures. Bigloo Example 07ca0495a2da694e DSA (Digital Signature Standard)
Email Usage
Usage of OpenPGP within mails is described in RFC 3156. Encrypted parts and signatures are encoded with their separate content-types. Signatures are done over a canonicalized version of the message. They also hash over the content-type headers. OpenPGP's recette program has an example for a signature from kmail, that can be succesfully verified with Bigloo.Encryption
OpenPGP allows messages to be encrypted with passwords (in this context ``passkey'') or public keys. It is also possible to encrypt a message for more than one recipient. In such a case the data will be encrypted by a session-key which in turn is encrypted separately for each recipient. Since the session-key is not very big (compared to the data) the size overhead is usually insignificant. Let's start by encrypting a message with a simple passkey.(let* ((secret-data "My secret data\n") (composition (pgp-encrypt secret-data '() '("My secret passkey")))) (pgp-write-file "secret.pgp" composition))As usual the pgp message is compatible with
gpg
:
$ gpg secret.pgp gpg: CAST5 encrypted data Enter passphrase: <My secret passkey> gpg: encrypted with 1 passphrase $ cat secret My secret dataAs expected, Bigloo can decrypt password protected files that have been generated by gpg:
$ echo "A secret message encrypted with gpg." | \ gpg -o encrypted.pgp --symmetric \ --passphrase "secret key"The Bigloo code to decrypt the message is very simple:
(print (pgp-decrypt (pgp-read-file "encrypted.pgp") :passkey-provider (lambda () "secret key"))))In a similar vein it is possible to use public key encryption. The following example tests the encryption and decryption part of Bigloo.
(let* ((my-key (car (pgp-read-file "A2DA694E_Bigloo_Example.skey"))) (db (pgp-make-key-db)) (secret-data "My secret message") (encrypted (pgp-encrypt secret-data `(,my-key) '()))) (pgp-add-key-to-db db my-key) (let* ((key-manager (lambda (id) (pgp-resolve-key db id))) (password-provider (lambda (key) <Bigloo Example Password>)) (decrypted (pgp-decrypt encrypted :key-manager key-manager :password-provider password-provider))) (if (not (string=? decrypted secret-data)) (error "decrypt-test" "Something went horribly wrong" decrypted))))Note that a secret secret key has a part that is encrypted by a password. During decryption Bigloo needs access to this encrypted data and therefore invokes the password-provider so it can decrypt it. In many cases this will trigger an interactive callback with the user. Here, in this toy example, we know that the password that is needed is for the Bigloo Example key. In a more general case the password-provider will have to print the key to give more information to the user. In the following example we show how to encrypt data for 3 passwords and one key.
(let* ((my-key (car (pgp-read-file "A2DA694E_Bigloo_Example.skey"))) (db (pgp-make-key-db)) (secret-data "My secret message") (encrypted (pgp-encrypt secret-data `(,my-key) '("pass1" "pass2" "pass3")))) (pgp-write-file "multi_receiver.pgp" encrypted))We believe that
gpg
has a bug and does not know how to handle
such messages correctly. Bigloo, however, decrypts the message with
any of the possible options.
Development
Bigloo's OpenPGP implementation only exposes few library functions. As a consequence some features are not accessible. The key-management system is very rough, and there are no means to inspect messages in more detail. It should be possible to expose or implement many of those missing features with little effort. The most time-consuming part is generally designing a clean API and the testing/debugging of new features: when something goes wrong it can take a huge amount of time to find the reason. Developers interested in improving Bigloo's OpenPGP library can print a huge amount of debugging information by enabling the debug-macro inutil.scm
. Bigloo's OpenPGP implementation is not designed for
speed and takes no shortcuts. The debugging output can therefore be
used to follow the specification of RFC 4880 (or 2440).