mirror of
https://github.com/ibm-s390-linux/s390-tools.git
synced 2026-08-05 02:14:52 +00:00
Marc Hartmayer
a07d1bca74
Other tools may need to process the configuration-unique id. Provide a machine readable format by writing to a YAML file containing a `cuid` entry and optionally an `add` entry. New CLI options `--format` and `--output` are introduced for this. Currently, only the output format `yaml` is supported. Reviewed-by: Jan Höppner <hoeppner@linux.ibm.com> Signed-off-by: Steffen Eiden <seiden@linux.ibm.com> Signed-off-by: Marc Hartmayer <mhartmay@linux.ibm.com> Signed-off-by: Jan Höppner <hoeppner@linux.ibm.com>
76 lines
2.2 KiB
Groff
76 lines
2.2 KiB
Groff
.\" Copyright 2022 IBM Corp.
|
|
.\" s390-tools is free software; you can redistribute it and/or modify
|
|
.\" it under the terms of the MIT license. See LICENSE for details.
|
|
.\"
|
|
.TH pvattest-verify 1 "07 June 2022" "s390-tools" "Attestation Manual"
|
|
.nh
|
|
.ad l
|
|
.SH NAME
|
|
\fBpvattest [OPTION?] verify [OPTIONS] \fP- verify an attestation measurement
|
|
\fB
|
|
.SH DESCRIPTION
|
|
Verify that a previously generated attestation measurement of an IBM Secure Execution guest is as expected. Only verify attestation requests in a trusted environment, such as your workstation. Input must contain the response as produced by 'pvattest perform'. The protection key must be the one that was used to create the request by 'pvattest create'. Please delete it after verification. The header must be the IBM Secure Execution header of the image that was attested during 'pvattest perform'
|
|
.RE
|
|
.PP
|
|
|
|
.SH OPTIONS
|
|
.TP
|
|
.B
|
|
\fB-h\fP, \fB--help\fP
|
|
Show help options
|
|
.TP
|
|
.B
|
|
\fB-i\fP, \fB--input\fP=\fBFILE\fP
|
|
\fBFILE\fP specifies the attestation result as input.
|
|
.TP
|
|
.B
|
|
\fB-o\fP, \fB--ouput\fP=\fBFILE\fP
|
|
\fBFILE\fP specifies the output for the verification result.
|
|
.TP
|
|
.B
|
|
\fB--hdr\fP=\fBFILE\fP
|
|
Specify the header of the guest image. Exactly one is required.
|
|
.TP
|
|
.B
|
|
\fB-a\fP, \fB--arpk\fP=\fBFILE\fP
|
|
Use \fBFILE\fP to specify the GCM-AES256 key to decrypt the attestation request. Delete this key after verification.
|
|
.TP
|
|
.B
|
|
\fB--format\fP=\fByaml\fP
|
|
Define the output format.
|
|
Default value: 'yaml'
|
|
|
|
Possible values:
|
|
.RS 4
|
|
- \fByaml\fP: Use YAML format
|
|
.RE
|
|
|
|
.TP
|
|
.B
|
|
\fB-V\fP, \fB--verbose\fP
|
|
Provide more detailed output (optional)
|
|
.RE
|
|
.PP
|
|
|
|
.SH EXAMPLE
|
|
To verify a measurement in 'measurement.bin' with the protection key 'arp.kep' and SE-guest header 'se_guest.hdr'.
|
|
.PP
|
|
.nf
|
|
.fam C
|
|
pvattest verify --input attresp.bin --arpk arp.key --hdr se_guest.hdr
|
|
|
|
.fam T
|
|
.fi
|
|
If the verification was successful the program exists with zero.
|
|
If the verification failed it exists with 2 and prints the following to stderr:
|
|
.PP
|
|
.nf
|
|
.fam C
|
|
ERROR: Attestation measurement verification failed:
|
|
Calculated and received attestation measurement are not the same.
|
|
|
|
.fam T
|
|
.fi
|
|
.SH SEE ALSO
|
|
\fBpvattest\fP(1), \fBpvattest-create\fP(1), \fBpvattest-perform\fP(1)
|