71c4cec01ae2174bdc26053744e26e53 applsci-14-08581.pdf e9391153b1e5724979561aa5e211ee653f782603 applsci-14-08581.pdf e46d7e9b7b322eeadc8a756b8f62e07323a3a13d0d144e386f02bf1af305ced2 applsci-14-08581.pdf Title: Anonymous Access System with Limited Number of Uses in a Trustless Environment Subject: This article proposes a novel method for managing usage counters within an anonymous credential system, addressing the limitation of traditional anonymous credentials in tracking repeated use. The method takes advantage of blockchain technology through Smart Contracts deployed on the Ethereum network to enforce a predetermined maximum number of uses for a given credential. Users retain control over increments by providing zero-knowledge proofs (ZKPs) demonstrating private key possession and agreement on the increment value. This approach prevents replay attacks and ensures transparency and security. A prototype implementation on a private Ethereum blockchain demonstrates the feasibility and efficiency of the proposed method, paving the way for its potential deployment in real-world applications requiring both anonymity and usage tracking. Keywords: attribute-based credentials; pseudonyms; privacy-preserving credentials; self-blinded scheme; security proofs; user-centred system; zero knowledge proofs; trust-less; access counter Author: Francesc Garcia-Grau, Jordi Herrera-Joancomartí and Aleix Dorca Josa Creator: LaTeX with hyperref Producer: pdfTeX-1.40.25 CreationDate: Tue Sep 24 05:11:54 2024 CEST ModDate: Tue Sep 24 05:15:39 2024 CEST Custom Metadata: no Metadata Stream: no Tagged: no UserProperties: no Suspects: no Form: none JavaScript: no Pages: 14 Encrypted: no Page size: 595.276 x 841.89 pts (A4) Page rot: 0 File size: 386100 bytes Optimized: no PDF version: 1.7 name type encoding emb sub uni object ID ------------------------------------ ----------------- ---------------- --- --- --- --------- TKVPOK+URWPalladioL-Bold Type 1 Custom yes yes yes 10 0 DTRRVI+URWPalladioL-Roma Type 1 Custom yes yes yes 16 0 ITRLMT+URWPalladioL-Ital Type 1 Custom yes yes yes 21 0 URKJOF+CMSY10 Type 1 Builtin yes yes yes 26 0 CRVMKC+TimesNewRomanPS-BoldItalicMT Type 1C WinAnsi yes yes no 42 0 CHGGKZ+PazoMath-Italic Type 1 Builtin yes yes yes 62 0 XLCKHW+CMR10 Type 1 Builtin yes yes yes 67 0 DNFEDH+MSBM10 Type 1 Builtin yes yes yes 75 0 URKJOF+CMSY10 Type 1 Custom yes yes yes 88 0 ULXVBS+CMR8 Type 1 Custom yes yes yes 93 0 GRMPUM+CMSSBX10 Type 1 Custom yes yes yes 100 0 HUPTCO+CMR7 Type 1 Custom yes yes yes 115 0 XLCKHW+CMR10 Type 1 Custom yes yes yes 122 0 QEXXJR+CMMI7 Type 1 Custom yes yes yes 127 0 ZFIMJO+CMMI10 Type 1 Custom yes yes yes 134 0 LPGBJG+CMSY7 Type 1 Custom yes yes yes 141 0 URKJOF+CMSY10 Type 1 Custom yes yes yes 148 0 GJCHJT+CMBX10 Type 1 Custom yes yes yes 152 0 DNFEDH+MSBM10 Type 1 Custom yes yes yes 159 0 XVZFXW+CMSS10 Type 1 Custom yes yes yes 164 0 GRMPUM+CMSSBX10 Type 1 Custom yes yes yes 171 0 HUPTCO+CMR7 Type 1 Custom yes yes yes 177 0 XLCKHW+CMR10 Type 1 Custom yes yes yes 181 0 QEXXJR+CMMI7 Type 1 Custom yes yes yes 185 0 ZFIMJO+CMMI10 Type 1 Custom yes yes yes 189 0 LPGBJG+CMSY7 Type 1 Custom yes yes yes 193 0 URKJOF+CMSY10 Type 1 Custom yes yes yes 197 0 XVZFXW+CMSS10 Type 1 Custom yes yes yes 201 0 GRMPUM+CMSSBX10 Type 1 Custom yes yes yes 205 0 Jhove (Rel. 1.28.0, 2023-05-18) Date: 2025-01-28 02:40:07 CET RepresentationInformation: applsci-14-08581.pdf ReportingModule: PDF-hul, Rel. 1.12.4 (2023-03-16) LastModified: 2024-10-24 12:28:52 CEST Size: 386100 Format: PDF Version: 1.7 Status: Well-Formed and valid SignatureMatches: PDF-hul MIMEtype: application/pdf PDFMetadata: Objects: 370 FreeObjects: 1 IncrementalUpdates: 0 DocumentCatalog: PageLayout: SinglePage PageMode: UseNone Outlines: Item: Title: Introduction Destination: section.1 Item: Title: Literature Review Destination: section.2 Item: Title: Background Destination: section.3 Item: Title: The Proposal Destination: section.4 Children: Item: Title: General Overview Destination: subsection.4.1 Item: Title: Protocol Design Rationale Destination: subsection.4.2 Item: Title: Credential Issuance Protocol Destination: subsection.4.3 Item: Title: Access Counter Creation Protocol Destination: subsection.4.4 Item: Title: Access Counter Usage Protocol Destination: subsection.4.5 Item: Title: Pseudo-Code Destination: subsection.4.6 Item: Title: Security Analysis Destination: section.5 Children: Item: Title: Design Decisions Destination: subsection.5.1 Item: Title: Use of Arbitrary idU without Creation Destination: subsection.5.2 Item: Title: A Misbehaviour of SP in the Counter Creation Phase Destination: subsection.5.3 Item: Title: A Replay Attack Destination: subsection.5.4 Item: Title: A Misbehaviour of SP Destination: subsection.5.5 Item: Title: Use Case in Detail Destination: section.6 Item: Title: Conclusions and Future Work Destination: section.7 Item: Title: References Destination: section.8 Info: Title: Anonymous Access System with Limited Number of Uses in a Trustless Environment Author: Francesc Garcia-Grau, Jordi Herrera-Joancomartí and Aleix Dorca Josa Subject: This article proposes a novel method for managing usage counters within an anonymous credential system, addressing the limitation of traditional anonymous credentials in tracking repeated use. The method takes advantage of blockchain technology through Smart Contracts deployed on the Ethereum network to enforce a predetermined maximum number of uses for a given credential. Users retain control over increments by providing zero-knowledge proofs (ZKPs) demonstrating private key possession and agreement on the increment value. This approach prevents replay attacks and ensures transparency and security. A prototype implementation on a private Ethereum blockchain demonstrates the feasibility and efficiency of the proposed method, paving the way for its potential deployment in real-world applications requiring both anonymity and usage tracking. Keywords: attribute-based credentials; pseudonyms; privacy-preserving credentials; self-blinded scheme; security proofs; user-centred system; zero knowledge proofs; trust-less; access counter Creator: LaTeX with hyperref Producer: pdfTeX-1.40.25 CreationDate: Tue Sep 24 05:11:54 CEST 2024 ModDate: Tue Sep 24 05:15:39 CEST 2024 ID: 0xbbc395689176ad4969b161bcbef55eb7, 0xbbc395689176ad4969b161bcbef55eb7 Filters: FilterPipeline: FlateDecode Fonts: Type1: Font: BaseFont: DTRRVI+URWPalladioL-Roma FontSubset: true FirstChar: 2 LastChar: 243 FontDescriptor: FontName: DTRRVI+URWPalladioL-Roma Flags: Symbolic FontBBox: -166, -283, 1021, 943 FontFile: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: XLCKHW+CMR10 FontSubset: true FirstChar: 40 LastChar: 93 FontDescriptor: FontName: XLCKHW+CMR10 Flags: Symbolic FontBBox: -40, -250, 1009, 750 FontFile: true ToUnicode: true Font: BaseFont: ITRLMT+URWPalladioL-Ital FontSubset: true FirstChar: 40 LastChar: 121 FontDescriptor: FontName: ITRLMT+URWPalladioL-Ital Flags: Symbolic FontBBox: -170, -305, 1010, 941 FontFile: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: TKVPOK+URWPalladioL-Bold FontSubset: true FirstChar: 3 LastChar: 237 FontDescriptor: FontName: TKVPOK+URWPalladioL-Bold Flags: Symbolic FontBBox: -152, -301, 1000, 935 FontFile: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: URKJOF+CMSY10 FontSubset: true FirstChar: 0 LastChar: 85 FontDescriptor: FontName: URKJOF+CMSY10 Flags: Symbolic FontBBox: -29, -960, 1116, 775 FontFile: true ToUnicode: true Font: BaseFont: DNFEDH+MSBM10 FontSubset: true FirstChar: 70 LastChar: 71 FontDescriptor: FontName: DNFEDH+MSBM10 Flags: Symbolic FontBBox: -55, -420, 2343, 920 FontFile: true ToUnicode: true Font: BaseFont: CHGGKZ+PazoMath-Italic FontSubset: true FirstChar: 100 LastChar: 100 FontDescriptor: FontName: CHGGKZ+PazoMath-Italic Flags: Symbolic FontBBox: -70, -277, 902, 733 FontFile: true ToUnicode: true Pages: Page: Sequence: 1 Annotations: Annotation: Subtype: Link Rect: 34, 281, 151, 290 Annotation: Subtype: Link Rect: 34, 164, 96, 186 Annotation: Subtype: Link Rect: 125, 90, 154, 99 Annotation: Subtype: Link Rect: 34, 78, 149, 87 Annotation: Subtype: Link Rect: 34, 756, 175, 792 Annotation: Subtype: Link Rect: 515, 756, 560, 792 Annotation: Subtype: Link Rect: 145, 663, 156, 676 Annotation: Subtype: Link Rect: 284, 663, 295, 676 Annotation: Subtype: Link Rect: 397, 663, 408, 676 Annotation: Subtype: Link Rect: 493, 345, 500, 354 ActionDest: 222 Annotation: Subtype: Link Rect: 548, 333, 555, 342 ActionDest: 222 Annotation: Subtype: Link Rect: 206, 295, 213, 304 ActionDest: 222 Annotation: Subtype: Link Rect: 472, 182, 479, 191 ActionDest: 222 Annotation: Subtype: Link Rect: 515, 132, 522, 141 ActionDest: 222 Annotation: Subtype: Link Rect: 120, 17, 258, 28 Annotation: Subtype: Link Rect: 411, 17, 560, 28 Annotation: Subtype: Link Rect: 34, 354, 87, 373 Page: Sequence: 2 Annotations: Annotation: Subtype: Link Rect: 404, 691, 411, 703 ActionDest: 215 Annotation: Subtype: Link Rect: 237, 593, 244, 602 ActionDest: 222 Annotation: Subtype: Link Rect: 419, 530, 426, 539 ActionDest: 56 Annotation: Subtype: Link Rect: 228, 502, 235, 514 ActionDest: 59 Annotation: Subtype: Link Rect: 230, 490, 237, 502 ActionDest: 80 Annotation: Subtype: Link Rect: 275, 477, 282, 489 ActionDest: 209 Annotation: Subtype: Link Rect: 199, 465, 206, 477 ActionDest: 215 Annotation: Subtype: Link Rect: 514, 465, 521, 477 ActionDest: 219 Annotation: Subtype: Link Rect: 236, 417, 243, 426 ActionDest: 222 Annotation: Subtype: Link Rect: 201, 379, 208, 388 ActionDest: 222 Annotation: Subtype: Link Rect: 541, 379, 548, 388 ActionDest: 222 Annotation: Subtype: Link Rect: 548, 379, 555, 388 ActionDest: 222 Annotation: Subtype: Link Rect: 309, 366, 316, 376 ActionDest: 222 Annotation: Subtype: Link Rect: 428, 354, 435, 363 ActionDest: 222 Annotation: Subtype: Link Rect: 467, 304, 479, 313 ActionDest: 222 Annotation: Subtype: Link Rect: 544, 304, 556, 313 ActionDest: 222 Annotation: Subtype: Link Rect: 451, 279, 463, 288 ActionDest: 222 Annotation: Subtype: Link Rect: 392, 253, 399, 263 ActionDest: 222 Annotation: Subtype: Link Rect: 179, 178, 191, 187 ActionDest: 222 Annotation: Subtype: Link Rect: 374, 128, 386, 137 ActionDest: 222 Annotation: Subtype: Link Rect: 508, 103, 520, 112 ActionDest: 222 Page: Sequence: 3 Annotations: Annotation: Subtype: Link Rect: 248, 743, 260, 752 ActionDest: 222 Annotation: Subtype: Link Rect: 451, 744, 463, 752 ActionDest: 222 Annotation: Subtype: Link Rect: 181, 693, 192, 702 ActionDest: 222 Annotation: Subtype: Link Rect: 291, 643, 303, 652 ActionDest: 222 Annotation: Subtype: Link Rect: 443, 605, 455, 614 ActionDest: 222 Annotation: Subtype: Link Rect: 458, 605, 470, 614 ActionDest: 222 Annotation: Subtype: Link Rect: 405, 555, 417, 564 ActionDest: 222 Annotation: Subtype: Link Rect: 202, 518, 214, 526 ActionDest: 222 Annotation: Subtype: Link Rect: 205, 467, 217, 476 ActionDest: 222 Annotation: Subtype: Link Rect: 220, 467, 232, 476 ActionDest: 222 Annotation: Subtype: Link Rect: 232, 467, 244, 476 ActionDest: 222 Annotation: Subtype: Link Rect: 247, 467, 259, 476 ActionDest: 222 Annotation: Subtype: Link Rect: 259, 467, 271, 476 ActionDest: 222 Annotation: Subtype: Link Rect: 274, 467, 286, 476 ActionDest: 225 Annotation: Subtype: Link Rect: 204, 442, 216, 451 ActionDest: 222 Annotation: Subtype: Link Rect: 216, 442, 228, 451 ActionDest: 222 Annotation: Subtype: Link Rect: 229, 442, 241, 451 ActionDest: 225 Annotation: Subtype: Link Rect: 340, 442, 352, 451 ActionDest: 222 Annotation: Subtype: Link Rect: 352, 442, 364, 451 ActionDest: 222 Annotation: Subtype: Link Rect: 365, 442, 377, 451 ActionDest: 222 Annotation: Subtype: Link Rect: 377, 442, 389, 451 ActionDest: 222 Annotation: Subtype: Link Rect: 531, 442, 543, 451 ActionDest: 222 Annotation: Subtype: Link Rect: 543, 442, 555, 451 ActionDest: 222 Annotation: Subtype: Link Rect: 332, 430, 344, 439 ActionDest: 222 Annotation: Subtype: Link Rect: 344, 430, 356, 439 ActionDest: 222 Annotation: Subtype: Link Rect: 356, 430, 368, 439 ActionDest: 225 Annotation: Subtype: Link Rect: 321, 417, 333, 426 ActionDest: 222 Annotation: Subtype: Link Rect: 336, 417, 348, 426 ActionDest: 222 Annotation: Subtype: Link Rect: 286, 342, 293, 350 ActionDest: 222 Annotation: Subtype: Link Rect: 303, 326, 310, 338 ActionDest: 72 Page: Sequence: 4 Page: Sequence: 5 Annotations: Annotation: Subtype: Link Rect: 214, 412, 221, 424 ActionDest: 83 Page: Sequence: 6 Annotations: Annotation: Subtype: Link Rect: 241, 410, 248, 422 ActionDest: 72 Annotation: Subtype: Link Rect: 395, 411, 401, 422 ActionDest: 72 Annotation: Subtype: Link Rect: 379, 288, 386, 300 ActionDest: 80 Annotation: Subtype: Link Rect: 435, 289, 442, 300 ActionDest: 80 Annotation: Subtype: Link Rect: 407, 172, 414, 184 ActionDest: 80 Annotation: Subtype: Link Rect: 417, 172, 424, 184 ActionDest: 80 Annotation: Subtype: Link Rect: 444, 172, 451, 184 ActionDest: 80 Annotation: Subtype: Link Rect: 495, 172, 502, 184 ActionDest: 83 Annotation: Subtype: Link Rect: 406, 162, 413, 171 ActionDest: 222 Page: Sequence: 7 Annotations: Annotation: Subtype: Link Rect: 403, 615, 410, 627 ActionDest: 80 Annotation: Subtype: Link Rect: 413, 615, 420, 627 ActionDest: 80 Annotation: Subtype: Link Rect: 441, 615, 448, 627 ActionDest: 80 Annotation: Subtype: Link Rect: 502, 615, 509, 627 ActionDest: 83 Annotation: Subtype: Link Rect: 207, 603, 214, 615 ActionDest: 110 Page: Sequence: 8 Annotations: Annotation: Subtype: Link Rect: 500, 431, 507, 443 ActionDest: 110 Page: Sequence: 9 Annotations: Annotation: Subtype: Link Rect: 392, 690, 399, 702 ActionDest: 209 Annotation: Subtype: Link Rect: 270, 110, 277, 119 ActionDest: 222 Page: Sequence: 10 Annotations: Annotation: Subtype: Link Rect: 382, 701, 389, 712 ActionDest: 72 Annotation: Subtype: Link Rect: 342, 651, 349, 662 ActionDest: 72 Annotation: Subtype: Link Rect: 343, 600, 350, 612 ActionDest: 72 Annotation: Subtype: Link Rect: 208, 490, 215, 501 ActionDest: 72 Annotation: Subtype: Link Rect: 368, 402, 375, 413 ActionDest: 83 Page: Sequence: 11 Annotations: Annotation: Subtype: Link Rect: 362, 386, 369, 397 ActionDest: 59 Annotation: Subtype: Link Rect: 231, 323, 238, 335 ActionDest: 59 Annotation: Subtype: Link Rect: 506, 286, 513, 297 ActionDest: 72 Annotation: Subtype: Link Rect: 482, 210, 489, 222 ActionDest: 83 Annotation: Subtype: Link Rect: 507, 198, 514, 209 ActionDest: 83 Page: Sequence: 12 Annotations: Annotation: Subtype: Link Rect: 285, 285, 297, 294 ActionDest: 225 Annotation: Subtype: Link Rect: 206, 272, 218, 281 ActionDest: 225 Page: Sequence: 13 Annotations: Annotation: Subtype: Link Rect: 264, 680, 399, 691 Annotation: Subtype: Link Rect: 392, 646, 430, 657 Annotation: Subtype: Link Rect: 219, 624, 257, 634 Annotation: Subtype: Link Rect: 368, 554, 508, 565 Annotation: Subtype: Link Rect: 410, 462, 560, 473 Annotation: Subtype: Link Rect: 56, 450, 71, 461 Annotation: Subtype: Link Rect: 391, 427, 560, 438 Annotation: Subtype: Link Rect: 187, 312, 224, 323 Annotation: Subtype: Link Rect: 166, 290, 203, 300 Annotation: Subtype: Link Rect: 210, 290, 246, 300 Annotation: Subtype: Link Rect: 59, 267, 96, 277 Annotation: Subtype: Link Rect: 59, 244, 96, 254 Annotation: Subtype: Link Rect: 59, 221, 96, 231 Annotation: Subtype: Link Rect: 134, 186, 172, 197 Annotation: Subtype: Link Rect: 100, 152, 137, 162 Annotation: Subtype: Link Rect: 499, 105, 537, 116 Annotation: Subtype: Link Rect: 181, 83, 219, 93 Annotation: Subtype: Link Rect: 225, 83, 261, 93 Page: Sequence: 14 Annotations: Annotation: Subtype: Link Rect: 337, 695, 375, 706 Annotation: Subtype: Link Rect: 335, 672, 507, 683 Checksum: 9e4426f3 Type: CRC32 Checksum: 71c4cec01ae2174bdc26053744e26e53 Type: MD5 Checksum: e9391153b1e5724979561aa5e211ee653f782603 Type: SHA-1 Checksum: e46d7e9b7b322eeadc8a756b8f62e07323a3a13d0d144e386f02bf1af305ced2 Type: SHA-256