Inner-Product Matchmaking Encryption: Bilateral Access Control and Beyond Equality

<div>Games for privacy and authenticity of ME; Oracles <svg height="12.2141pt" id="M230" style="vertical-align:-3.29112pt" version="1.1" viewbox="-0.0498162 -8.92298 52.3366 12.2141" width="52.3366pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M663 549C663 621 608 680 521 680C283 680 82 444 82 188C82 80 142 -15 258 -15C466 -15 637 203 637 396C637 502 561 542 497 542C414 542 336 469 336 362C336 331 339 284 371 232L393 242C369 289 366 322 366 347C366 448 430 506 494 506C539 506 586 470 586 396C586 266 508 157 469 118C409 57 343 15 256 15C179 15 142 78 142 150C142 331 347 645 517 645C590 645 624 603 643 547L663 549Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,8.996,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g><g transform="matrix(.013,0,0,-0.013,13.942,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,19.086,0)"><path d="M663 549C663 621 608 680 521 680C283 680 82 444 82 188C82 80 142 -15 258 -15C466 -15 637 203 637 396C637 502 561 542 497 542C414 542 336 469 336 362C336 331 339 284 371 232L393 242C369 289 366 322 366 347C366 448 430 506 494 506C539 506 586 470 586 396C586 266 508 157 469 118C409 57 343 15 256 15C179 15 142 78 142 150C142 331 347 645 517 645C590 645 624 603 643 547L663 549Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,28.082,3.132)"><path d="M414 144C384 79 371 75 317 75H135L276 221C367 316 408 376 408 465C408 570 327 635 237 635C179 635 131 609 100 575L42 494L67 471C94 510 138 565 205 565C277 565 321 517 321 435C321 348 258 270 195 195C146 137 88 81 33 26V0H411C423 44 433 88 446 135L414 144Z"></path></g><g transform="matrix(.013,0,0,-0.013,33.028,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,38.171,0)"><path d="M663 549C663 621 608 680 521 680C283 680 82 444 82 188C82 80 142 -15 258 -15C466 -15 637 203 637 396C637 502 561 542 497 542C414 542 336 469 336 362C336 331 339 284 371 232L393 242C369 289 366 322 366 347C366 448 430 506 494 506C539 506 586 470 586 396C586 266 508 157 469 118C409 57 343 15 256 15C179 15 142 78 142 150C142 331 347 645 517 645C590 645 624 603 643 547L663 549Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,47.167,3.132)"><path d="M290 377C321 398 342 415 358 430C378 450 389 473 389 502C389 578 329 635 238 635H237C184 635 137 610 109 578L64 515L88 493C112 529 154 573 208 573S303 542 303 482C303 409 233 370 141 341L149 308C165 313 190 319 215 319C272 319 341 283 341 193C342 98 292 43 222 43C163 43 122 72 96 94C88 101 79 100 70 94C61 87 47 73 46 60C44 47 48 37 62 23C76 10 118 -12 165 -12C238 -12 430 62 430 223C430 297 379 359 290 375V377Z"></path></g></svg> are implemented by <span class="nowrap"><svg height="12.1567pt" id="M231" style="vertical-align:-2.86837pt" version="1.1" viewbox="-0.0498162 -9.28833 318.45 12.1567" width="318.45pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M449 477V596C410 641 345 676 257 676C144 676 61 607 61 501C61 405 122 350 264 291C353 255 392 219 392 158C392 102 339 62 254 62C186 62 98 100 50 205H32L45 70C94 9 173 -14 258 -14C328 -14 383 4 424 41C456 72 481 119 481 168C481 264 431 322 287 378C226 402 146 443 146 505C146 556 188 600 252 600C327 600 397 561 430 477H449Z"></path></g><g transform="matrix(.013,0,0,-0.013,7.033,0)"><path d="M630 0L257 357L564 645V662H469L161 375V662H74V0H161V269L195 302L511 0H630Z"></path></g><g transform="matrix(.013,0,0,-0.013,15.275,0)"><path d="M627 357H432L454 281H540V123C540 95 500 62 379 62C207 62 116 200 116 336C116 469 202 600 373 600C461 600 545 569 596 462H615V565C556 648 461 676 373 676C173 676 27 529 27 333C27 132 163 -14 375 -14C521 -14 571 22 627 59V357Z"></path></g><g transform="matrix(.013,0,0,-0.013,24.31,0)"><path d="M362 167C332 96 291 61 238 61C164 61 102 117 102 222H411V277C411 386 345 463 238 463C182 463 134 446 95 409C52 369 23 306 23 226C23 74 113 -10 230 -10C327 -10 380 34 428 132L362 167ZM115 293C128 364 183 392 230 392C274 392 327 378 330 293H115Z"></path></g><g transform="matrix(.013,0,0,-0.013,30.082,0)"><path d="M424 0V321C424 362 415 394 397 418C374 441 330 463 290 463C235 463 191 453 139 402L137 459L128 464L63 440V0H142V302C163 361 230 392 263 392C314 392 345 369 345 304V0H424Z"></path></g><g transform="matrix(.013,0,0,-0.013,36.55,0)"><path d="M300 -147C201 -63 143 98 143 270S200 602 300 686L282 710C136 610 70 450 70 271V270C70 89 136 -72 282 -170L300 -147Z"></path></g><g transform="matrix(.013,0,0,-0.013,41.048,0)"><path d="M691 0V315C691 415 625 463 551 463C502 463 448 441 409 398C381 441 331 463 278 463C226 463 172 443 139 402V459L130 464L65 440V0H142V302C161 361 235 392 262 392C313 392 339 362 339 290V0H417V302C435 360 507 392 535 392C586 392 614 365 614 293V0H691Z"></path></g><g transform="matrix(.013,0,0,-0.013,50.876,0)"><path d="M142 459L134 464L67 440V-211L76 -216L146 -192V26C181 1 218 -10 253 -10C373 -10 470 102 470 244C470 331 428 405 372 440C345 457 312 463 281 463C234 463 181 445 144 409L142 459ZM146 295C169 355 214 392 261 392C345 392 391 318 391 230C391 136 338 61 249 61C210 61 173 80 146 123V295Z"></path></g><g transform="matrix(.013,0,0,-0.013,57.35,0)"><path d="M452 0L198 255L444 439V453H340L142 303V679L133 684L63 660V0H142V207L349 0H452Z"></path></g><g transform="matrix(.013,0,0,-0.013,63.322,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,68.465,0)"><path d="M691 0V315C691 415 625 463 551 463C502 463 448 441 409 398C381 441 331 463 278 463C226 463 172 443 139 402V459L130 464L65 440V0H142V302C161 361 235 392 262 392C313 392 339 362 339 290V0H417V302C435 360 507 392 535 392C586 392 614 365 614 293V0H691Z"></path></g><g transform="matrix(.013,0,0,-0.013,78.293,0)"><path d="M330 321V410C299 442 258 463 194 463C105 463 49 405 49 338S84 234 185 189C248 161 271 145 271 118C271 79 235 61 195 61C140 61 94 84 65 148H50V45C91 9 125 -10 189 -10C228 -10 262 -3 289 14C328 38 350 77 350 118C350 190 321 220 212 265C164 285 128 305 128 342C128 363 145 393 192 393C236 393 275 384 315 321H330Z"></path></g><g transform="matrix(.013,0,0,-0.013,83.35,0)"><path d="M452 0L198 255L444 439V453H340L142 303V679L133 684L63 660V0H142V207L349 0H452Z"></path></g><g transform="matrix(.013,0,0,-0.013,89.317,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,94.46,0)"><path d="M170 255C170 288 146 313 114 313S58 288 58 255C58 221 82 198 114 198S170 221 170 255Z"></path></g><g transform="matrix(.013,0,0,-0.013,97.424,0)"><path d="M275 270C275 450 212 609 64 710L45 686C145 604 203 442 203 270S147 -63 45 -147L64 -170C213 -68 275 89 275 270Z"></path></g><g transform="matrix(.013,0,0,-0.013,101.922,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,107.065,0)"><path d="M581 0L335 303C446 319 513 390 513 485C513 598 430 662 259 662H74V0H161V299H231L478 0H581ZM161 373V588H244C375 588 424 558 424 486C424 409 377 373 250 373H161Z"></path></g><g transform="matrix(.013,0,0,-0.013,114.722,0)"><path d="M630 0L257 357L564 645V662H469L161 375V662H74V0H161V269L195 302L511 0H630Z"></path></g><g transform="matrix(.013,0,0,-0.013,122.964,0)"><path d="M627 357H432L454 281H540V123C540 95 500 62 379 62C207 62 116 200 116 336C116 469 202 600 373 600C461 600 545 569 596 462H615V565C556 648 461 676 373 676C173 676 27 529 27 333C27 132 163 -14 375 -14C521 -14 571 22 627 59V357Z"></path></g><g transform="matrix(.013,0,0,-0.013,131.999,0)"><path d="M362 167C332 96 291 61 238 61C164 61 102 117 102 222H411V277C411 386 345 463 238 463C182 463 134 446 95 409C52 369 23 306 23 226C23 74 113 -10 230 -10C327 -10 380 34 428 132L362 167ZM115 293C128 364 183 392 230 392C274 392 327 378 330 293H115Z"></path></g><g transform="matrix(.013,0,0,-0.013,137.771,0)"><path d="M424 0V321C424 362 415 394 397 418C374 441 330 463 290 463C235 463 191 453 139 402L137 459L128 464L63 440V0H142V302C163 361 230 392 263 392C314 392 345 369 345 304V0H424Z"></path></g><g transform="matrix(.013,0,0,-0.013,144.241,0)"><path d="M300 -147C201 -63 143 98 143 270S200 602 300 686L282 710C136 610 70 450 70 271V270C70 89 136 -72 282 -170L300 -147Z"></path></g><g transform="matrix(.013,0,0,-0.013,148.739,0)"><path d="M691 0V315C691 415 625 463 551 463C502 463 448 441 409 398C381 441 331 463 278 463C226 463 172 443 139 402V459L130 464L65 440V0H142V302C161 361 235 392 262 392C313 392 339 362 339 290V0H417V302C435 360 507 392 535 392C586 392 614 365 614 293V0H691Z"></path></g><g transform="matrix(.013,0,0,-0.013,158.567,0)"><path d="M142 459L134 464L67 440V-211L76 -216L146 -192V26C181 1 218 -10 253 -10C373 -10 470 102 470 244C470 331 428 405 372 440C345 457 312 463 281 463C234 463 181 445 144 409L142 459ZM146 295C169 355 214 392 261 392C345 392 391 318 391 230C391 136 338 61 249 61C210 61 173 80 146 123V295Z"></path></g><g transform="matrix(.013,0,0,-0.013,165.041,0)"><path d="M452 0L198 255L444 439V453H340L142 303V679L133 684L63 660V0H142V207L349 0H452Z"></path></g><g transform="matrix(.013,0,0,-0.013,171.013,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,176.156,0)"><path d="M691 0V315C691 415 625 463 551 463C502 463 448 441 409 398C381 441 331 463 278 463C226 463 172 443 139 402V459L130 464L65 440V0H142V302C161 361 235 392 262 392C313 392 339 362 339 290V0H417V302C435 360 507 392 535 392C586 392 614 365 614 293V0H691Z"></path></g><g transform="matrix(.013,0,0,-0.013,185.984,0)"><path d="M330 321V410C299 442 258 463 194 463C105 463 49 405 49 338S84 234 185 189C248 161 271 145 271 118C271 79 235 61 195 61C140 61 94 84 65 148H50V45C91 9 125 -10 189 -10C228 -10 262 -3 289 14C328 38 350 77 350 118C350 190 321 220 212 265C164 285 128 305 128 342C128 363 145 393 192 393C236 393 275 384 315 321H330Z"></path></g><g transform="matrix(.013,0,0,-0.013,191.041,0)"><path d="M452 0L198 255L444 439V453H340L142 303V679L133 684L63 660V0H142V207L349 0H452Z"></path></g><g transform="matrix(.013,0,0,-0.013,197.008,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,202.151,0)"><path d="M170 255C170 288 146 313 114 313S58 288 58 255C58 221 82 198 114 198S170 221 170 255Z"></path></g><g transform="matrix(.013,0,0,-0.013,205.115,0)"><path d="M275 270C275 450 212 609 64 710L45 686C145 604 203 442 203 270S147 -63 45 -147L64 -170C213 -68 275 89 275 270Z"></path></g><g transform="matrix(.013,0,0,-0.013,209.613,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,214.756,0)"><path d="M74 662V0H161V285H281C428 285 512 363 512 478C512 597 433 662 258 662H74ZM161 359V588H244C375 588 424 551 424 479C424 400 376 359 249 359H161Z"></path></g><g transform="matrix(.013,0,0,-0.013,221.582,0)"><path d="M471 229C471 376 376 463 245 463C111 463 28 353 28 229C28 94 117 -10 248 -10C400 -10 471 130 471 229ZM392 228C392 159 348 61 249 61C165 61 107 132 107 228C107 315 159 392 246 392S392 331 392 228Z"></path></g><g transform="matrix(.013,0,0,-0.013,228.069,0)"><path d="M144 0V679L135 684L61 660V0H144Z"></path></g><g transform="matrix(.013,0,0,-0.013,230.734,0)"><path d="M627 357H432L454 281H540V123C540 95 500 62 379 62C207 62 116 200 116 336C116 469 202 600 373 600C461 600 545 569 596 462H615V565C556 648 461 676 373 676C173 676 27 529 27 333C27 132 163 -14 375 -14C521 -14 571 22 627 59V357Z"></path></g><g transform="matrix(.013,0,0,-0.013,239.769,0)"><path d="M362 167C332 96 291 61 238 61C164 61 102 117 102 222H411V277C411 386 345 463 238 463C182 463 134 446 95 409C52 369 23 306 23 226C23 74 113 -10 230 -10C327 -10 380 34 428 132L362 167ZM115 293C128 364 183 392 230 392C274 392 327 378 330 293H115Z"></path></g><g transform="matrix(.013,0,0,-0.013,245.541,0)"><path d="M424 0V321C424 362 415 394 397 418C374 441 330 463 290 463C235 463 191 453 139 402L137 459L128 464L63 440V0H142V302C163 361 230 392 263 392C314 392 345 369 345 304V0H424Z"></path></g><g transform="matrix(.013,0,0,-0.013,252.011,0)"><path d="M300 -147C201 -63 143 98 143 270S200 602 300 686L282 710C136 610 70 450 70 271V270C70 89 136 -72 282 -170L300 -147Z"></path></g><g transform="matrix(.013,0,0,-0.013,256.509,0)"><path d="M691 0V315C691 415 625 463 551 463C502 463 448 441 409 398C381 441 331 463 278 463C226 463 172 443 139 402V459L130 464L65 440V0H142V302C161 361 235 392 262 392C313 392 339 362 339 290V0H417V302C435 360 507 392 535 392C586 392 614 365 614 293V0H691Z"></path></g><g transform="matrix(.013,0,0,-0.013,266.337,0)"><path d="M142 459L134 464L67 440V-211L76 -216L146 -192V26C181 1 218 -10 253 -10C373 -10 470 102 470 244C470 331 428 405 372 440C345 457 312 463 281 463C234 463 181 445 144 409L142 459ZM146 295C169 355 214 392 261 392C345 392 391 318 391 230C391 136 338 61 249 61C210 61 173 80 146 123V295Z"></path></g><g transform="matrix(.013,0,0,-0.013,272.811,0)"><path d="M452 0L198 255L444 439V453H340L142 303V679L133 684L63 660V0H142V207L349 0H452Z"></path></g><g transform="matrix(.013,0,0,-0.013,278.783,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,283.926,0)"><path d="M452 0L198 255L444 439V453H340L142 303V679L133 684L63 660V0H142V207L349 0H452Z"></path></g><g transform="matrix(.013,0,0,-0.013,289.815,0)"><path d="M142 459L134 464L67 440V-211L76 -216L146 -192V26C181 1 218 -10 253 -10C373 -10 470 102 470 244C470 331 428 405 372 440C345 457 312 463 281 463C234 463 181 445 144 409L142 459ZM146 295C169 355 214 392 261 392C345 392 391 318 391 230C391 136 338 61 249 61C210 61 173 80 146 123V295Z"></path></g><g transform="matrix(.013,0,0,-0.013,296.289,0)"><path d="M471 229C471 376 376 463 245 463C111 463 28 353 28 229C28 94 117 -10 248 -10C400 -10 471 130 471 229ZM392 228C392 159 348 61 249 61C165 61 107 132 107 228C107 315 159 392 246 392S392 331 392 228Z"></path></g><g transform="matrix(.013,0,0,-0.013,302.776,0)"><path d="M144 0V679L135 684L61 660V0H144Z"></path></g><g transform="matrix(.013,0,0,-0.013,305.522,0)"><path d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"></path></g><g transform="matrix(.013,0,0,-0.013,310.665,0)"><path d="M170 255C170 288 146 313 114 313S58 288 58 255C58 221 82 198 114 198S170 221 170 255Z"></path></g><g transform="matrix(.013,0,0,-0.013,313.629,0)"><path d="M275 270C275 450 212 609 64 710L45 686C145 604 203 442 203 270S147 -63 45 -147L64 -170C213 -68 275 89 275 270Z"></path></g></svg>.</span></div>

IET Information Security

fig2

Figure 2

Figure 2: Inner-Product Matchmaking Encryption: Bilateral Access Control and Beyond Equality 