入札プロトコルの形式的検証
入札プロトコルでは匿名性を満たすことが求められるため、匿名否認不能署名方式とよばれる特別な署名方式が用いられることがある。また、入札プロトコルに対して、「落札者が特定される」「不正を行った者は特定される」等という入札プロトコル特有の性質も求められる。このため、入札プロトコルの性質の形式的検証は自明ではなく、これまでの認証プロトコルの検証方法をそのまま用いることができない。本稿では、匿名否認不能署名方式を用いた入札プロトコルの一つを例にして、入札プロトコルの検証に必要な、プロトコルに従う参加者の振る舞いや不正行為、そして、入札プロトコル特有の満たすべき性質の形式化を行う。...
Saved in:
| Published in | 日本ソフトウェア科学会大会講演論文集 p. 7A1 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | Japanese |
| Published |
日本ソフトウェア科学会
2002
|
| Online Access | Get full text |
| ISSN | 1349-3515 |
| DOI | 10.11309/jssstconference.19.0.7A1.0 |
Cover
| Abstract | 入札プロトコルでは匿名性を満たすことが求められるため、匿名否認不能署名方式とよばれる特別な署名方式が用いられることがある。また、入札プロトコルに対して、「落札者が特定される」「不正を行った者は特定される」等という入札プロトコル特有の性質も求められる。このため、入札プロトコルの性質の形式的検証は自明ではなく、これまでの認証プロトコルの検証方法をそのまま用いることができない。本稿では、匿名否認不能署名方式を用いた入札プロトコルの一つを例にして、入札プロトコルの検証に必要な、プロトコルに従う参加者の振る舞いや不正行為、そして、入札プロトコル特有の満たすべき性質の形式化を行う。 |
|---|---|
| AbstractList | 入札プロトコルでは匿名性を満たすことが求められるため、匿名否認不能署名方式とよばれる特別な署名方式が用いられることがある。また、入札プロトコルに対して、「落札者が特定される」「不正を行った者は特定される」等という入札プロトコル特有の性質も求められる。このため、入札プロトコルの性質の形式的検証は自明ではなく、これまでの認証プロトコルの検証方法をそのまま用いることができない。本稿では、匿名否認不能署名方式を用いた入札プロトコルの一つを例にして、入札プロトコルの検証に必要な、プロトコルに従う参加者の振る舞いや不正行為、そして、入札プロトコル特有の満たすべき性質の形式化を行う。 |
| Author | 米崎, 直樹 萩原, 茂樹 |
| Author_xml | – sequence: 1 fullname: 米崎, 直樹 organization: 東京工業大学大学院情報理工学研究科計算工学専攻 – sequence: 1 fullname: 萩原, 茂樹 organization: 東京工業大学大学院情報理工学研究科計算工学専攻 |
| BookMark | eNpdjz1Lw0Acxg9RsNZ-CgenxPvfS3I3luIbFlx0Pq6XO22oqeSyOGoU3BwF6SQKQqmLa_00IdWPYaDi4PD8nuXhgd8GWs3GmUVoC3AIQLHcSb33hRlnzuY2MzYEGeIw7kKIV1ALKJMB5cDXUcf7FGNMKY4YYy20Xd-9Liazqnysyob31c1HVU6r6_f687meP3w93S5eJt9v80205vTI285vt9Hp3u5J7yDoH-8f9rr9IAUJOhA2doQOCGNECyoMIzy2lCQJNVxEHIxOIiKEE3JghdOx5M6AtiaKmRNNaBsdLX9TX-gzqy7z4YXOr5TOi6EZWfXPU4FUeIlG9m9lznWuUk1_AMaKZLw |
| ContentType | Journal Article |
| Copyright | 2002 日本ソフトウェア科学会 |
| Copyright_xml | – notice: 2002 日本ソフトウェア科学会 |
| DOI | 10.11309/jssstconference.19.0.7A1.0 |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| EISSN | 1349-3515 |
| EndPage | 7A1 |
| ExternalDocumentID | article_jssstconference_19_0_19_0_7A1_article_char_ja |
| GroupedDBID | ALMA_UNASSIGNED_HOLDINGS JSF KQ8 RJT |
| ID | FETCH-LOGICAL-j191a-8e7f23b2442a838c4257e32dd3c58651cad6288f89be8fa795fc1aec674f874f3 |
| IngestDate | Wed Sep 03 06:11:26 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | Japanese |
| LinkModel | OpenURL |
| MeetingName | 日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第19回大会 |
| MergedId | FETCHMERGED-LOGICAL-j191a-8e7f23b2442a838c4257e32dd3c58651cad6288f89be8fa795fc1aec674f874f3 |
| Notes | 7A-1 |
| OpenAccessLink | https://www.jstage.jst.go.jp/article/jssstconference/19/0/19_0_7A1/_article/-char/ja |
| ParticipantIDs | jstage_primary_article_jssstconference_19_0_19_0_7A1_article_char_ja |
| PublicationCentury | 2000 |
| PublicationDate | 2002 |
| PublicationDateYYYYMMDD | 2002-01-01 |
| PublicationDate_xml | – year: 2002 text: 2002 |
| PublicationDecade | 2000 |
| PublicationTitle | 日本ソフトウェア科学会大会講演論文集 |
| PublicationYear | 2002 |
| Publisher | 日本ソフトウェア科学会 |
| Publisher_xml | – name: 日本ソフトウェア科学会 |
| SSID | ssj0003306444 ssib018194627 ssib002670979 |
| Score | 1.3731245 |
| Snippet | 入札プロトコルでは匿名性を満たすことが求められるため、匿名否認不能署名方式とよばれる特別な署名方式が用いられることがある。また、入札プロトコルに対して、「落札者が特... |
| SourceID | jstage |
| SourceType | Publisher |
| StartPage | 7A1 |
| Title | 入札プロトコルの形式的検証 |
| URI | https://www.jstage.jst.go.jp/article/jssstconference/19/0/19_0_7A1/_article/-char/ja |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| ispartofPNX | 日本ソフトウェア科学会大会講演論文集, 2002/09/11, pp.7A1-7A1 |
| journalDatabaseRights | – providerCode: PRVAFT databaseName: Open Access Digital Library databaseCode: KQ8 dateStart: 20020101 customDbUrl: isFulltext: true eissn: 1349-3515 dateEnd: 20051231 titleUrlDefault: http://grweb.coalliance.org/oadl/oadl.html omitProxy: true ssIdentifier: ssj0003306444 providerName: Colorado Alliance of Research Libraries |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwvV3Ni9QwFA_rCuJFFBW_WdDgqWPTpGlybGc7LIKCsAt7K2mbHnpYZWe87E1HwZtHQfYkCoLoxev61wyz-mf4Xvox46qgi3iY8PrmJfm9voH3XiYvIeRW7lsdGaM88C6lJ1heeNrPmWeFroJS-ty6-op79-XGlri7HW6vnNhbri6Z5INi75d1JcexKvDArlgl-xeW7QcFBtBgX2jBwtD-kY1pGlIV0jikqaR6SON1mnKqONVRS_QcpRwR0IR3XyWOYDROcZxkncaBI4ZUjWgaUR1TJXDkWODgqaKxou1N2HUHQOJcCwDDbpYeSXgUQCw7IuqIAKeDR80QAGBGGYFIAANyhBPuOQon0glOihzhOAnV0sGQVIGwRgHVrzviDAlz2oOKEEC7XaBOzQSfUU3QTi_kFdU-jbV7xynVo0ZeUTVEzD_Id6smi-z6P7yYxrU2_oQLjcUS4ZKPiGK2FG60Tz97Mu5Ogq3H4_Gk6Is_B0wP_AH0GfgLB95vq2x_iNmRThnTmd800DPrpLCsL6shtzgZ4FoWbmh4sJR64sF-i39wIRDUQrYnxmKUwzF1FeIUudmhvfN7rBDe1ZDsdBslXey2eZacaZOutbiBdI6s1OY8uT1__u5w_-Ns-mo2hfbF7Onn2fTD7Mmn-Zc384OXX18_O3y7_-39wQWyNUo3hxtee22IVzPNjKdsVAU8h7g1MIqrAr2S5UFZ8iJUMmSFKfGO7Urp3KrKRDqsCmZsISNRKfjwi2R15-GOvUTWdKAKY6XhgV8JZrQpiqrkpaxya6sy15fJeqNX9qg5GyY7lgmu_JthrpLT7q4it0B4jaxOdh_b6xAyT_IbzrbfAajbmXY |
| linkProvider | Colorado Alliance of Research Libraries |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E5%85%A5%E6%9C%AD%E3%83%97%E3%83%AD%E3%83%88%E3%82%B3%E3%83%AB%E3%81%AE%E5%BD%A2%E5%BC%8F%E7%9A%84%E6%A4%9C%E8%A8%BC&rft.jtitle=%E6%97%A5%E6%9C%AC%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E7%A7%91%E5%AD%A6%E4%BC%9A%E5%A4%A7%E4%BC%9A%E8%AC%9B%E6%BC%94%E8%AB%96%E6%96%87%E9%9B%86&rft.au=%E7%B1%B3%E5%B4%8E%2C+%E7%9B%B4%E6%A8%B9&rft.au=%E8%90%A9%E5%8E%9F%2C+%E8%8C%82%E6%A8%B9&rft.date=2002&rft.pub=%E6%97%A5%E6%9C%AC%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E7%A7%91%E5%AD%A6%E4%BC%9A&rft.eissn=1349-3515&rft.spage=7A1&rft.epage=7A1&rft_id=info:doi/10.11309%2Fjssstconference.19.0.7A1.0&rft.externalDocID=article_jssstconference_19_0_19_0_7A1_article_char_ja |