[webauthn] new commits pushed by equalsJeffH

The following commits were just pushed by equalsJeffH to https://github.com/w3c/webauthn:

* device-bound Public Key pair extension

This PR instantiates the `getDevicePublicKey` extension.

RPs desiring to have a guaranteed device-bound public key returned on `create()` and `get()` need to simply include this extension on their `create()` and `get()` calls.

On `create()`, a device-bound public key pair is created in addition to the [credential key pair](https://www.w3.org/TR/webauthn-2/#credential-key-pair), and the extension result conveys the devicePublicKey to the RP.

On `get()`, a device-bound public key pair is created if one does not yet exist, and the resulting devicePublicKey is conveyed in the extension result to the RP.
  by JeffH
https://github.com/w3c/webauthn/commit/6719e054e8d27e04286d3e975d69371a3b135225

* further hacking...
  by JeffH
https://github.com/w3c/webauthn/commit/4a6b8fe837eb3b74b7cd481c2b360fcfd06c2497

* nearly complete tho likely needs to be re-worked to include attestation of dbPK
  by JeffH
https://github.com/w3c/webauthn/commit/5d1662d6ca14f7bc01ed056ee7d245cc3fe7d72c

* add 'device-bound key'
  by JeffH
https://github.com/w3c/webauthn/commit/1622df27e3c595b6e69a40771fb1659b2ae9b665

* in-progress updates...
  by JeffH
https://github.com/w3c/webauthn/commit/5e684aab30af5cdb106209b77b8e60e8fbaf5efe

* further in-progress updates...
  by JeffH
https://github.com/w3c/webauthn/commit/71afdbe64b067cc535cf791b3a17ee2ba499da15

* further in-progress updates...
  by JeffH
https://github.com/w3c/webauthn/commit/8040d13725a0769517c71780b38de9a08ceeb113

* Merge branch 'main' into jeffh-fix-1546-second-key-extension
  by JeffH
https://github.com/w3c/webauthn/commit/38131e6da3ebbe37d9b399c961324782c2da8f3c

* devicePublicKey extension section functionally complete
  by JeffH
https://github.com/w3c/webauthn/commit/ad71ff141aec2cd1db0b72eb00d1a3546fa21c4f

* further edits...
  by JeffH
https://github.com/w3c/webauthn/commit/094d38589d84a20939d3e15105435ec1a883d863

* cleanup trailing whitespace...
  by JeffH
https://github.com/w3c/webauthn/commit/e66eb2d8ea502970ec6350e8df0415b134207be9

* Device-bound public key ProVerif model

This adds a ProVerif model for the device-bound public key (device-bound key pair) extension.
  by JeffH
https://github.com/w3c/webauthn/commit/618b2de767d72e15d623cd15939a0b463f5cfae2

* who-signs-what musings...
  by JeffH
https://github.com/w3c/webauthn/commit/1e97952446f0768de27f5e16c00b03dc9ce697f9

* editorial polishing
  by JeffH
https://github.com/w3c/webauthn/commit/8f0d66dc6ad2256d9f6736a7fd96d6f3f8105dfa

* editorial polishing
  by JeffH
https://github.com/w3c/webauthn/commit/43e03c8250598eb4b73372b650a4c19ee7ed19dd

* major reorg & clarifications
  by JeffH
https://github.com/w3c/webauthn/commit/503a0271378e3237b70cc42853150186fe042501

* further reorg & polish
  by JeffH
https://github.com/w3c/webauthn/commit/87340d797855e780b3d1296e74529f284b57b5e0

* proverif model cleanup
  by JeffH
https://github.com/w3c/webauthn/commit/cbb066f1faa4f278b04583e80780f70b3278ffcd

* remove unused 'cert'
  by JeffH
https://github.com/w3c/webauthn/commit/1e72a00a870cff78f50bf74b49cdf3ca6adb1af7

* revise/correct objects hierarchy
  by JeffH
https://github.com/w3c/webauthn/commit/99a6b79f90fb92015dea310023c4afea8693ee85

* clarifications
  by JeffH
https://github.com/w3c/webauthn/commit/e9db5235ba5bb78f7b7176f60326cb16c96e32f6

* clarifications
  by JeffH
https://github.com/w3c/webauthn/commit/68ebaa257639a21bda4221a28b1e21c0e56b00cf

* clarifications
  by JeffH
https://github.com/w3c/webauthn/commit/8b5702c5d2ef597dd31a5612d65722e629702788

* switch model starting-point to webauthn-basic.pv
  by JeffH
https://github.com/w3c/webauthn/commit/da82c2e6192f1bf484ddc01d8907523c5ce1049d

* clarifications
  by JeffH
https://github.com/w3c/webauthn/commit/f84069bc7d10dfff48179e811bd15832dfc23487

* clarifications to both DPK stuff and PV model
  by JeffH
https://github.com/w3c/webauthn/commit/f6663cbabff780bc8c967304a47429368816a2b2

* revise model significantly

revise model to have discrete message components and to leverage named_tuples.pvl and crypto.pvl.
  by JeffH
https://github.com/w3c/webauthn/commit/22e325d51a07388d8da2d0ddbbfe33a8dd2872d6

* further clarifications and musings

this is the stage of development I first shared with internal colleagues post the original hand-wavy prose writeup.
  by JeffH
https://github.com/w3c/webauthn/commit/a3ed05bfa659f01e7c5bb3b913b00b62983c78b0

* editorial
  by JeffH
https://github.com/w3c/webauthn/commit/6382444f375e8cbd1d502e0f0e8991c7318e588b

* revised dpk syntax per agl review
  by JeffH
https://github.com/w3c/webauthn/commit/768d90067f3bdee5b38e700264f617798c143f97

* further refined dpk syntax per feedback
  by JeffH
https://github.com/w3c/webauthn/commit/fd9ea008dffdb5588cdc1a6bc3d032ccf47a7697

* select the more simple AttObjForDevicePublicKey
  by JeffH
https://github.com/w3c/webauthn/commit/a34b48938ffd24e645017139aa7c37a3edb28367

* begin reworking devicePubKey extension
  by JeffH
https://github.com/w3c/webauthn/commit/2832b5e5f36181e2b67b804a88ff04a8a03098f5

* editorial
  by JeffH
https://github.com/w3c/webauthn/commit/e47c5f8ed448e0025d6388d9e098c1813f0bec4e

* device-bound-key-pair.pv -> device-bound-key-pair.txt
  by JeffH
https://github.com/w3c/webauthn/commit/75c8f251574709c98b8800809cae0fc564a5d7ad

* add separate webauthn.pv file
  by JeffH
https://github.com/w3c/webauthn/commit/4515d630af96ad939b7cffa0e72eef2887960f68

* editorial
  by JeffH
https://github.com/w3c/webauthn/commit/c208e19e149dd98544521eead0beafe71c1e2756

* Merge branch 'main' into jeffh-fix-1546-second-key-extension
  by JeffH
https://github.com/w3c/webauthn/commit/591cded71ff574ca776642fb0c1e1d6620463abd

* Merge branch 'main' into jeffh-fix-1546-second-key-extension
  by JeffH
https://github.com/w3c/webauthn/commit/59260f0b3842c81718dafd12273ae14862b40f4a

* fix attSecretKey in pv model
  by JeffH
https://github.com/w3c/webauthn/commit/c3487a217de7a7647226269924322fdda1eeb02a

* add README.pv.md file
  by JeffH
https://github.com/w3c/webauthn/commit/0e8d3b362c602e23cb4a2335a4aa21d0e0dca10a

* editorial cleanups
  by JeffH
https://github.com/w3c/webauthn/commit/6b216db9d7dcbbafc20ff20f02313093ef73b822

* processUser -> processClientAndAuthnr
  by JeffH
https://github.com/w3c/webauthn/commit/25b07e6ea75c9a94f80965aa0544388d6ccdbf16

* define formal RegRequestMsg
  by JeffH
https://github.com/w3c/webauthn/commit/2da450453c77a10d0c90cc55345951762668160b

* editorial
  by JeffH
https://github.com/w3c/webauthn/commit/f943bbcff7e3b5546a36cde6943bb7d39059ff14

* attPublicKey is public
  by JeffH
https://github.com/w3c/webauthn/commit/e23ccfec1b2df64f89b37ad29a16be743b10eb6c

* WIP: refine attestation object construction
  by JeffH
https://github.com/w3c/webauthn/commit/7a1e2eeeb8fe57102c8cbc56c4cfdc324aef3315

* WIP: attObject parsing
  by JeffH
https://github.com/w3c/webauthn/commit/8a420eb77695a8d950ba7cd4f01fe8723271ef8e

* WIP: add Extensions.
  by JeffH
https://github.com/w3c/webauthn/commit/d2b529b3a117c9f19c16bc6ffa7ffbe7208579b3

* editorial
  by JeffH
https://github.com/w3c/webauthn/commit/666718a01d330bbd8622afc445436871117e3b02

* COMPLETED: refine attestation object construction
  by JeffH
https://github.com/w3c/webauthn/commit/f9e861cd9e5316ec0e843028128ffe6e62e28c30

* refine events
  by JeffH
https://github.com/w3c/webauthn/commit/e1a4383a396eafd99dadb66666cbff58b174aa88

* editorial
  by JeffH
https://github.com/w3c/webauthn/commit/9182fa1cc9d53bb5f1b600d14bf2c833b6c63ec3

* editorial
  by JeffH
https://github.com/w3c/webauthn/commit/89e26609eac2098b06d71be0a826160e40b37357

* more meaningful query wrt response msg.
  by JeffH
https://github.com/w3c/webauthn/commit/54eb767405346c6c63ffabfd270bd9dd425a5061

* add: set traceDisplay long
  by JeffH
https://github.com/w3c/webauthn/commit/f6fcee8aa8c67a6f14d0a5e6fe911acdf207d7fc

* fix var rebindings, trim queries
  by JeffH
https://github.com/w3c/webauthn/commit/1747dff04cdc3b44b1ba4879e98fefae8a35c79c

* update README.pv.md
  by JeffH
https://github.com/w3c/webauthn/commit/12ec079fdf7bbeeb990968ce4ee48c246341a059

* edit README.pv.md
  by JeffH
https://github.com/w3c/webauthn/commit/59f29091e04aeb3742397d9dfafffa97cb9eb994

* rename server name, plus other clieanups
  by JeffH
https://github.com/w3c/webauthn/commit/8b4d51ce2f72d1b50e25c5fbe8428bd717f66771

* edit README.pv.md
  by JeffH
https://github.com/w3c/webauthn/commit/c5f3b2de40fc926c49a2e8844e35ba0f7e3c39e8

* remove pv files from this branch
  by JeffH
https://github.com/w3c/webauthn/commit/4ebd028f0d05e0938f5d53a628a845fcbe811665

* Merge branch 'main' into jeffh-fix-1658-device-bound-key-extension
  by JeffH
https://github.com/w3c/webauthn/commit/4f187903c7c5edf3eb65178be91d21fdf5600a34

* update Device-bound public key extension
  by JeffH
https://github.com/w3c/webauthn/commit/66e67bdc62673007ddae06ea9df582f100390f26

* work in progress
  by JeffH
https://github.com/w3c/webauthn/commit/9ac274aaa5cf6f505e0c5cd861b24706c128626f

* finish Notes -- nominally complete for Draft PR
  by JeffH
https://github.com/w3c/webauthn/commit/fcc6a68857f6c9fa0f3f50b2a4dbf8ad99ae54d1

* Merge branch 'main' into jeffh-fix-1658-device-bound-key-extension
  by JeffH
https://github.com/w3c/webauthn/commit/73cc7ffde511c352e97b441eb3ca05bdb40073b2



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Saturday, 21 August 2021 06:08:52 UTC