Description of issue or feature request:
Allow TUF integrators to easily use custom metadata signing implementations instead of the currently supported securesystemslib one.
An urgent use case for this is the PEP458/Warehouse integration, where metadata must be signed with keys stored in a Hashicorp Vault and the implementation is already available.
NOTE: This feature request only concerns the tuf.api.Metadata.sign method and not the legacy signing facilities write and writeall in repository tool.
Current behavior:
tuf.api.Metadata.sign(key, ...) calls securesystemslib.keys.create_signature with the passed sslib/json-formatted private key.
Expected behavior:
tuf.api.Metadata.sign takes an abstract signer parameter, which implements signing. A default signer may resolve to the currently used securesystemslib.keys.create_signature.
Implementation considerations:
Metadata.sign should probably be encapsulated within the signer.The abstract signer interface must strictly define the format of the returned signature for metadata interoperability.
The abstract signer interface design should also keep in mind other key-related tasks, such as signature verification, public key export to sslib metadata format, and keyid generation.
securesystemslib.keys.create_signature is already an abstract interface, where the json-formatted private key parameter format is generic enough to hold different key types and to choose one of many supported signing algorithms, identified by the key's scheme field. (see public key metadata format reference below). However, it is not suited to extend to custom implementations. A new abstract signer interface should integrate well with the existing securesystemslib infrastructure and/or aim to replace it. It should not become yet another co-existing interface and/or layer of abstraction (see public API overview reference below).
Related work and references: (for the very ambitious reader)
securesystemslib key overview (to coordinate this feature request with the existing infrastructure)
Recently added abstract filesystem interface (for design inspiration) -- https://github.com/theupdateframework/tuf/issues/1009
@trishankatdatadog's Hashicorp Vault interface POC (as reference for PEP458/warehouse implementation and for design inspiration) -- VaultKey
Abstract pyca/cryptograhpy key interface with sign method (for design inspiration) -- RSAPrivateKey
"Historical" external signing API feature request (has some interesting discussion and designs but targets legacy TUF codebase) -- https://github.com/theupdateframework/tuf/issues/864
in-toto metadata model sign methods (alternative but less flexible approach to support different signing implementations)
A very basic implementation could look something like this:
# in securesystemslib
class Signer:
@abc.abstractmethod
def sign(bytes: payload) -> Signature:
raise NotImplementedError
class SSlibSigner(Signer):
def __init__(self, sslib_private_key):
self.key = sslib_private_key
def sign(self, payload):
return sslib_keys.create_signature(self.key, payload)
class GPGSigner(Signer):
def __init__(self, gpg_keyid):
self.keyid = gpg_keyid
def sign(self, payload):
return sslib_gpg.create_signature(payload, self.keyid)
# in TUF
class Metadata:
def sign(sslib.Signer: signer):
signer.sign(self.signed.to_canonical_bytes())
# in Warehouse
class VaultSigner(Signer):
def sign(self, payload):
# ... you get the idea
metadata = tuf.Metadata(...)
metadata.sign(VaultSigner(...))
class VaultSigner(Signer):
Great idea. I would add only that it might be useful to add in SSLib itself...
I would add only that it might be useful to add in SSLib itself...
Agreed.
Thank you for the detailed issue @lukpueh.
Bit of an aside, but do you imagine the GPG and HSM signing interfaces in securesystemslib becoming implementations of the interface we create here? That seems logical to me, but I'm not familiar with the GPG and HSM signing interfaces.
Bit of an aside, but do you imagine the GPG and HSM signing interfaces in securesystemslib becoming implementations of the interface we create here?
I would suggest so, yes. Do you have reservations?
No reservations, just checking whether my expectation was reasonable. Thank you.
I'd like to add some ontological thoughts here. In particular, whether the Signer class could instead be a SigningKey class, given that a Signer, as described above, is associated with exactly one key (or key identifier) anyway.
What speaks against combining Signer and Key in one class:
In pure modeling terms a key data container and an entity that implements a signing protocol are quite different things. Also, a private key might be used with different signers (protocols, algorithms, schemes, etc.), which would require duplicating key data on multiple signers.
What speaks for it:
securesystemslib needs private keys only for their signing capabilities and it is unlikely that any given private key will be used with different signers during its in-memory life time.
Outlook
Maybe we should at least tentatively explore the expected use cases for private keys in a new repository library (#1136).
I have already summarized the main tasks for keys (private and public!) in https://github.com/secure-systems-lab/securesystemslib/issues/310, albeit with a focus on public keys, which need to implement serialization to and deserialization from TUF metadata format (https://github.com/secure-systems-lab/securesystemslib/issues/308) and verification. Both may or may not be tied to the protocol that also implements the signing.
@trishankatdatadog, maybe you can share your experience from implementing tuf-on-a-plane?
What speaks against combining Signer and Key in one class:
In pure modeling terms a key data container and an entity that implements a signing protocol are quite different things. Also, a private key might be used with different signers (protocols, algorithms, schemes, etc.), which would require duplicating key data on multiple signers.
I am asking myself does the Key class has meaning outside the signing operations? If not, then probably it makes sense to keep it there?
Also, I am not sure if there is a modeling contradiction. SignerKey will be a container class for key data and at the same time that class would have functionality only related to that data, so they are already in a sense strongly connected.
I am not sure if we have a SignerKey for the signing operations, then how we are going to do the verification operations?
There is no sense to have a separate VerifierKey class.
Maybe we can look the other way around and have a Key class with signature and verification functionality?
This seems more logical to me.
@trishankatdatadog, maybe you can share your experience from implementing tuf-on-a-plane?
It's a good question. I didn't implement any signing interface, only verification interfaces. But, if it helps, what I found is that rather than designing on pen and paper, writing, trying, and feeling the code worked out very well. So try writing what comes naturally, and see if it makes sense? I know I sound like a mystic, but that's what worked for me.
Thanks for your comments, @MVrachev and @trishankatdatadog!
SignerKey will be a container class for key data and at the same time that class would have functionality only related to that data, so they are already in a sense strongly connected.
Yes they are, but there are some variables that change for the signer but not for the key, such as padding, hashing, scheme, etc. To me it feels a bit odd to modify the key object, in order to use a different signing scheme, e.g.:
k = SigningKey(...) # Initialize once e.g. with RSA secret exponent
k.scheme = "rsassa-pss-sha256"
k.sign(data) # Sign using one scheme
k.scheme = "rsa-pkcs1v15-sha512"
k.sign(data) # Sign using another scheme
But maybe switching schemes during life time is just not a use case, and even then, the odd looks alone don't seem to be a strong argument against it.
An alternative would be to accept these variables as a parameters to SigningKey.sign. But given that our Metadata.sign will call the sign method of whichever passed SigningKey subclass, the interface needs to be generic for all key types and as simple as possible.
Maybe we can look the other way around and have a Key class with signature and verification functionality?
Yes, but I think there is an argument for separating public and private key in the model. If they were combined, we'd often have half-empty objects, e.g. on the client where only the public parts are available. And even in the signing context we only really need the private portion.
Furthermore, given that public keys are included in TUF metadata their class representation should look similar to the metadata representation for recognizability and have a focus on type/schema checking and serialization tasks. Whereas we care a lot less about what the private key class looks like as long as it can be used for signing.
Does this make sense? I have a feeling that hands-on @trishankatdatadog might say, I'm overthinking this. :P
Does this make sense? I have a feeling that hands-on @trishankatdatadog might say, I'm overthinking this. :P
This requires some meditation TBH. There are generic cryptographic algorithms and then there are specific schemes. What code do we expect delegators and delegatees to write? I would approach it that way.
Does this make sense? I have a feeling that hands-on @trishankatdatadog might say, I'm overthinking this. :P
It makes sense and those are valid points if you ask me.
After all of your thoughts, I feel like the best option is to have a Key class in tuf/metadata/api representing exactly what is written in the spec and a different Signer class which contains a Key class instance, basically the way you initially proposed it.
That way you have a model literally representing a key the way it's defined in the spec, you can easily change the key schema, won't have the problem with half-empty objects, and have a logical encapsulation for each of the classes.
Additional thinks we discussed with @jku:
Signature be or the return type of the sign() operation?Jussi looked into what is the returned value of some of the possible implementors of the Signer interface:
Default implementation : return value of keys.create_signature() is a dict of keyid and bytesGpg: Return value is also a dict: it is used to return multiple other pieces of data as well -- it is unclear if these are actually useful to create_signature() callers or only for intermediate processing before thatHSM: Returns a dict like the generic keys.create_signature()Vault: Vault signature is vault:<key-version-number>:<base64-encoded-signature> -- should be usable as bytesSo, to summarize it seems achievable to return bytes instead of a custom Signature object which is unclear what should it be.
So, to summarize it seems achievable to return bytes instead of a custom Signature object which is unclear what should it be.
That does make sense. But then every SignerKey must also expose a keyid. Because the caller is likely to store the signature bytes together with a keyid, otherwise the signature can't be mapped to a public key for later verification.
class Metadata:
...
def sign(self, signer):
# NOTE: Let's assume signatures are still in the old/current dictionary format
self.signatures.append({
"keyid": signer.keyid,
"sig": signer.sign(self.signed.to_canonical_bytes())
})
I think your proposal makes the SignerKey.sign interface a bit cleaner, but the overall SignerKey class a bit less blackboxy.
Gpg: Return value is also a dict: it is used to return multiple other pieces of data as well -- it is unclear if these are actually useful to create_signature() callers or only for intermediate processing before that
Yeah, unfortunately these "other_headers" are required for verification. Although it might be possible to return them as part of the signature bytes and then parse upon verification.
EDIT: FYI, this is where we parse GPG signature packets.
...custom fields like the one on gpg signatures might also be an argument for SigningKey.sign returning a complex signature object.
It makes sense and those are valid points if you ask me.
After all of your thoughts, I feel like the best option is to have aKeyclass intuf/metadata/apirepresenting exactly what is written in the spec and a differentSignerclass which contains a Key class instance, basically the way you initially proposed it.
That way you have a model literally representing a key the way it's defined in the spec, you can easily change the key schema, won't have the problem with half-empty objects, and have a logical encapsulation for each of the classes.
It seems I misunderstand @lukpueh. Lukas seems to mean to combine Signer and the private part from the key.
I am only not sure about the SignerKey name. It feels a strange concatenation of the functionality it provides - signing and the data it stores - key data. Probably it makes sense just to call it Signer as it was originally proposed and it will have attributes representing key data.
That does make sense. But then every
SignerKeymust also expose a keyid. Because the caller is likely to store the signature bytes together with a keyid, otherwise the signature can't be mapped to a public key for later verification.
You have a point here. We can indeed create a Signature class and store there both the bytes signature and keyid. Then we would return an instance of it when calling sign().
We can also use this Signature to add functionality connected to the signature.
Like verification operations?
Probably it makes sense just to call it Signer as it was originally proposed and it will have attributes representing key data.
I'm fine with Signer. :)
We can indeed create a Signature class and store there both the bytes signature and keyid. Then we would return an instance of it when calling sign().
SGTM! :)
We can also use this Signature to add functionality connected to the signature. Like verification operations?
I'm a bit unsure about that. I think in most cases sign can just return a generic Signature with a keyid and some raw signature bytes, independently of the key type, scheme, etc. used to create the signature. If we implement verify on the Signature class it has to account for all those variables, or, more likely, we'd use different Signature subclasses for different verify implementations.
As a consequence a concrete Signer subclass implementation must know which concrete Signature subclass to return, in order to provide the correct verify method. I don't know if we want to put that extra responsibility on the Signer. To me, this feels more like a task for the public key.
I'm a bit unsure about that. I think in most cases
signcan just return a genericSignaturewith a keyid and some raw signature bytes, independently of the key type, scheme, etc. used to create the signature. If we implementverifyon theSignatureclass it has to account for all those variables, or, more likely, we'd use differentSignaturesubclasses for differentverifyimplementations.As a consequence a concrete
Signersubclass implementation must know which concreteSignaturesubclass to return, in order to provide the correctverifymethod. I don't know if we want to put that extra responsibility on theSigner. To me, this feels more like a task for the public key.
Yes, you are right. Those arguments are logical.
Today we had a quick discussion with @jku about the Signer return type and he shared some concerns if we return our own Signature type.
Jussi, can you please add your opinion to the thread?
As a consequence a concrete
Signersubclass implementation must know which concreteSignaturesubclass to return, in order to provide the correctverifymethod. I don't know if we want to put that extra responsibility on theSigner. To me, this feels more like a task for the public key.Yes, you are right. Those arguments are logical.
Today we had a quick discussion with @jku about the
Signerreturn type and he shared some concerns if we return our ownSignaturetype.
I think it was mostly that it seemed like an object isn't needed in this case at all (I'm assuming that usually when you sign something you are doing that to create metadata for the purpose of serializing it: an array of bytes is fine for that)?
Also I don't know how the opposite case (verifying portions of metadata while de-serializing it) is going to look like and that seemed more relevant for a potential Signature object? As in how is Metadata API used with e.g. Vault in that case?
Most helpful comment
A very basic implementation could look something like this: