include "ipints.m"; ipints := load IPints IPints->PATH; IPint: import ipints; include "crypt.m"; crypt := load Crypt Crypt->PATH;
Inferno provides three data types to represent the different components of the public key signature scheme. The PK adt contains the data necessary to construct a public key; the SK adt contains the data necessary to construct a secret key. A key contains the public or secret parameters for the signature algorithm specified by the adt's pick tag. Ownership of a key is not recorded in the key value itself but in a separate certificate. Finally, the PKsig adt contains one or more values representing a given form of digital signature.
Certificates and indeed signature representations are varied, and implemented by other modules.
An IPint can be converted into two external formats. The first is an array of bytes in which the first byte is the highest order byte of the integer. This format is useful when communicating with the ssl(3) device. The second is similar but represents the array of bytes as text, using either base 16 or a MIME base 64 format, allowing IPints to be stored in files or transmitted across networks in a human readable form.
|Rev: Tue Mar 31 02:42:39 GMT 2015