Skip to content

Commit 2c96dd4

Browse files
author
reffy-bot
committed
Update of TR report from new reffy run
Using reffy commit 19.1.6.
1 parent eabfa55 commit 2c96dd4

34 files changed

+10087
-520
lines changed

‎tr/algorithms/shacl12-core.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
"rationale": "add",
1010
"steps": [
1111
{
12-
"html": "Add all <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-rdf-node\">nodes</a> in the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-data-graphs\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-data-graphs-23\">data graph</a> that can be reached from the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-focus-node\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-focus-node-24\">focus node</a> with the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-path-mapping\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-path-mapping-2\">path mapping</a> of <code>p</code>."
12+
"html": "Add all <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/rdf12-concepts/#dfn-rdf-node\" id=\"ref-for-index-term-node-15\">nodes</a> in the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-data-graphs\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-data-graphs-23\">data graph</a> that can be reached from the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-focus-node\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-focus-node-24\">focus node</a> with the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-path-mapping\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-path-mapping-2\">path mapping</a> of <code>p</code>."
1313
},
1414
{
1515
"html": "If <code>e</code> is the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-values\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-values-63\">value</a> of <code>sh:values</code> at the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-property-shapes\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-property-shapes-16\">property shape</a>,\n\t\t\t\t\t\t\tthen add the <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-output-nodes\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-output-nodes-7\">output nodes</a> of <code>evalExpr(e, <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-data-graphs\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-data-graphs-24\">data graph</a>, <a href=\"https://www.w3.org/TR/shacl12-core/#dfn-focus-node\" class=\"internalDFN\" data-link-type=\"dfn\" id=\"ref-for-dfn-focus-node-25\">focus node</a>, {})</code>."

‎tr/algorithms/vc-di-eddsa.json

Lines changed: 436 additions & 0 deletions
Large diffs are not rendered by default.

‎tr/algorithms/vc-jose-cose.json

Lines changed: 143 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,143 @@
1+
{
2+
"spec": {
3+
"title": "Securing Verifiable Credentials using JOSE and COSE",
4+
"url": "https://www.w3.org/TR/vc-jose-cose/"
5+
},
6+
"algorithms": [
7+
{
8+
"html": "Upon receipt of the verifiable credential or presentation secured as\n a JWT [<cite><a class=\"bibref\" data-link-type=\"biblio\" href=\"https://www.w3.org/TR/vc-jose-cose/#bib-rfc7519\" title=\"JSON Web Token (JWT)\">RFC7519</a></cite>], the holder or verifier follows this algorithm:",
9+
"rationale": "if",
10+
"steps": [
11+
{
12+
"html": "Follow the algorithm defined in\n <a href=\"https://www.rfc-editor.org/rfc/rfc7519#section-7.2\">Validating a JWT</a> [<cite><a class=\"bibref\" data-link-type=\"biblio\" href=\"https://www.w3.org/TR/vc-jose-cose/#bib-rfc7519\" title=\"JSON Web Token (JWT)\">RFC7519</a></cite>]."
13+
},
14+
{
15+
"html": "If processing completes successfully:",
16+
"rationale": "set",
17+
"steps": [
18+
{
19+
"html": "Set <code>status</code> to <code>true</code>"
20+
},
21+
{
22+
"html": "Set <code>mediaType</code> to <code>vc</code> or <code>vp</code>"
23+
},
24+
{
25+
"html": "Set <code>document</code> to the decoded JWS payload."
26+
},
27+
{
28+
"html": "Return"
29+
}
30+
]
31+
},
32+
{
33+
"html": "If processing aborts for any reason or the JWT is rejected:",
34+
"rationale": "set",
35+
"steps": [
36+
{
37+
"html": "Set <code>status</code> to <code>false</code>"
38+
},
39+
{
40+
"html": "Set <code>document</code> to <code>null</code>"
41+
},
42+
{
43+
"html": "Set <code>mediaType</code> to <code>null</code>"
44+
},
45+
{
46+
"html": "Return"
47+
}
48+
]
49+
}
50+
]
51+
},
52+
{
53+
"html": "Upon receipt of the verifiable credential or presentation secured with\n [<cite><a class=\"bibref\" data-link-type=\"biblio\" href=\"https://www.w3.org/TR/vc-jose-cose/#bib-sd-jwt\" title=\"Selective Disclosure for JWTs (SD-JWT)\">SD-JWT</a></cite>], the holder or verifier follows this algorithm:",
54+
"rationale": "if",
55+
"steps": [
56+
{
57+
"html": "Follow the algorithms defined in <a href=\"https://datatracker.ietf.org/doc/html/draft-ietf-oauth-selective-disclosure-jwt#section-8\">SD-JWT</a>\n for verification of the SD-JWT."
58+
},
59+
{
60+
"html": "If processing completes successfully:",
61+
"rationale": "set",
62+
"steps": [
63+
{
64+
"html": "Set <code>status</code> to <code>true</code>"
65+
},
66+
{
67+
"html": "Set <code>mediaType</code> to <code>vc</code>"
68+
},
69+
{
70+
"html": "Convert the SD-JWT payload back into the JWT Claims Set by\n reversing the process in [<cite><a class=\"bibref\" data-link-type=\"biblio\" href=\"https://www.w3.org/TR/vc-jose-cose/#bib-sd-jwt\" title=\"Selective Disclosure for JWTs (SD-JWT)\">SD-JWT</a></cite>]. Set <code>document</code>\n to the JWT Claims Set.\n (For examples of the transition from JWT Claims Set to SD-JWT payload,\n please see\n <a href=\"https://datatracker.ietf.org/doc/html/draft-ietf-oauth-selective-disclosure-jwt#appendix-A\">SD-JWT examples</a>)."
71+
},
72+
{
73+
"html": "Return"
74+
}
75+
]
76+
},
77+
{
78+
"html": "If processing aborts for any reason or the SD-JWT is rejected:",
79+
"rationale": "set",
80+
"steps": [
81+
{
82+
"html": "Set <code>status</code> to <code>false</code>"
83+
},
84+
{
85+
"html": "Set <code>document</code> to <code>null</code>"
86+
},
87+
{
88+
"html": "Set <code>mediaType</code> to <code>null</code>"
89+
},
90+
{
91+
"html": "Return"
92+
}
93+
]
94+
}
95+
]
96+
},
97+
{
98+
"html": "Upon receipt of the verifiable credential or presentation secured with\n [<cite><a class=\"bibref\" data-link-type=\"biblio\" href=\"https://www.w3.org/TR/vc-jose-cose/#bib-rfc9052\" title=\"CBOR Object Signing and Encryption (COSE): Structures and Process\">RFC9052</a></cite>], the holder or verifier follows this algorithm:",
99+
"rationale": "if",
100+
"steps": [
101+
{
102+
"html": "Follow the algorithm defined in <cite><a data-matched-text=\"[[[RFC9052]]]\" href=\"https://www.rfc-editor.org/rfc/rfc9052\">CBOR Object Signing and Encryption (COSE): Structures and Process</a></cite> [<cite><a class=\"bibref\" data-link-type=\"biblio\" href=\"https://www.w3.org/TR/vc-jose-cose/#bib-rfc9052\" title=\"CBOR Object Signing and Encryption (COSE): Structures and Process\">RFC9052</a></cite>] under the\n Signing and Verification Process for COSE_Sign1."
103+
},
104+
{
105+
"html": "If processing completes successfully:",
106+
"rationale": "set",
107+
"steps": [
108+
{
109+
"html": "Set <code>status</code> to <code>true</code>"
110+
},
111+
{
112+
"html": "Set <code>mediaType</code> to <code>vc</code> or <code>vp</code>"
113+
},
114+
{
115+
"html": "Set <code>document</code> to the decoded COSE_Sign1 payload."
116+
},
117+
{
118+
"html": "Return"
119+
}
120+
]
121+
},
122+
{
123+
"html": "If processing aborts for any reason:",
124+
"rationale": "set",
125+
"steps": [
126+
{
127+
"html": "Set <code>status</code> to <code>false</code>"
128+
},
129+
{
130+
"html": "Set <code>document</code> to <code>null</code>"
131+
},
132+
{
133+
"html": "Set <code>mediaType</code> to <code>null</code>"
134+
},
135+
{
136+
"html": "Return"
137+
}
138+
]
139+
}
140+
]
141+
}
142+
]
143+
}

0 commit comments

Comments
 (0)