Formalisation of Bayesian concealment
In order to assure the concealment by cryptographic protocols, it is an effective measure to prove the concealment in a formal logical system. In the contemporary context of cryptographic protocol, the concealment has to be proved by using probability theory. There are several concepts of concealmen...
Gespeichert in:
| Veröffentlicht in: | Japan journal of industrial and applied mathematics 2021-06, Vol.38 (2), p.677-692 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 692 |
|---|---|
| container_issue | 2 |
| container_start_page | 677 |
| container_title | Japan journal of industrial and applied mathematics |
| container_volume | 38 |
| creator | Takeuti, Izumi |
| description | In order to assure the concealment by cryptographic protocols, it is an effective measure to prove the concealment in a formal logical system. In the contemporary context of cryptographic protocol, the concealment has to be proved by using probability theory. There are several concepts of concealment in probability theory. One of them is Bayesian concealment. This study proposes a formal logical system to prove the Bayesian concealment of a secret sharing scheme. |
| doi_str_mv | 10.1007/s13160-021-00458-y |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_webof</sourceid><recordid>TN_cdi_webofscience_primary_000617081200001</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2531566958</sourcerecordid><originalsourceid>FETCH-LOGICAL-c314t-89abde088020356e94a8b1c6790f62aa9c36c4e29c7567759f8ad6d4fdcfde1d3</originalsourceid><addsrcrecordid>eNqNkMtKAzEUQIMoWB8_4KogrmT03snktdTBqlBwo-AupJlEprSTmkyR-XtjR3QnrpLFOTe5h5AzhCsEENcJKXIooMQCoGKyGPbIBCWXhaLidZ9MQCEvBAA7JEcpLTPEJeKEXMxCXJtVm0zfhm4a_PTWDC61ppva0FlnVmvX9SfkwJtVcqff5zF5md091w_F_On-sb6ZF5Zi1RdSmUXjQEoogTLuVGXkAi0XCjwvjVGWclu5UlnBuBBMeWka3lS-sb5x2NBjcj7O3cTwvnWp18uwjV1-UpeMIuNcMZmpcqRsDClF5_UmtmsTB42gv3LoMYfOOfQuhx6yJEfpwy2CT7Z1ebsfEQA4CpBY5htg3fa7HnXYdn1WL_-vZpqOdMpE9-bi7w5_fO8TI9yC6w</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2531566958</pqid></control><display><type>article</type><title>Formalisation of Bayesian concealment</title><source>SpringerNature Journals</source><creator>Takeuti, Izumi</creator><creatorcontrib>Takeuti, Izumi</creatorcontrib><description>In order to assure the concealment by cryptographic protocols, it is an effective measure to prove the concealment in a formal logical system. In the contemporary context of cryptographic protocol, the concealment has to be proved by using probability theory. There are several concepts of concealment in probability theory. One of them is Bayesian concealment. This study proposes a formal logical system to prove the Bayesian concealment of a secret sharing scheme.</description><identifier>ISSN: 0916-7005</identifier><identifier>EISSN: 1868-937X</identifier><identifier>DOI: 10.1007/s13160-021-00458-y</identifier><language>eng</language><publisher>Tokyo: Springer Japan</publisher><subject>Applications of Mathematics ; Bayesian analysis ; Computational Mathematics and Numerical Analysis ; Cryptography ; Mathematics ; Mathematics and Statistics ; Mathematics, Applied ; Original Paper ; Physical Sciences ; Probability theory ; Science & Technology</subject><ispartof>Japan journal of industrial and applied mathematics, 2021-06, Vol.38 (2), p.677-692</ispartof><rights>The Author(s) 2021</rights><rights>The Author(s) 2021. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>true</woscitedreferencessubscribed><woscitedreferencescount>0</woscitedreferencescount><woscitedreferencesoriginalsourcerecordid>wos000617081200001</woscitedreferencesoriginalsourcerecordid><cites>FETCH-LOGICAL-c314t-89abde088020356e94a8b1c6790f62aa9c36c4e29c7567759f8ad6d4fdcfde1d3</cites><orcidid>0000-0001-7235-2281</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s13160-021-00458-y$$EPDF$$P50$$Gspringer$$Hfree_for_read</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s13160-021-00458-y$$EHTML$$P50$$Gspringer$$Hfree_for_read</linktohtml><link.rule.ids>315,781,785,27928,27929,41492,42561,51323</link.rule.ids></links><search><creatorcontrib>Takeuti, Izumi</creatorcontrib><title>Formalisation of Bayesian concealment</title><title>Japan journal of industrial and applied mathematics</title><addtitle>Japan J. Indust. Appl. Math</addtitle><addtitle>JPN J IND APPL MATH</addtitle><description>In order to assure the concealment by cryptographic protocols, it is an effective measure to prove the concealment in a formal logical system. In the contemporary context of cryptographic protocol, the concealment has to be proved by using probability theory. There are several concepts of concealment in probability theory. One of them is Bayesian concealment. This study proposes a formal logical system to prove the Bayesian concealment of a secret sharing scheme.</description><subject>Applications of Mathematics</subject><subject>Bayesian analysis</subject><subject>Computational Mathematics and Numerical Analysis</subject><subject>Cryptography</subject><subject>Mathematics</subject><subject>Mathematics and Statistics</subject><subject>Mathematics, Applied</subject><subject>Original Paper</subject><subject>Physical Sciences</subject><subject>Probability theory</subject><subject>Science & Technology</subject><issn>0916-7005</issn><issn>1868-937X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2021</creationdate><recordtype>article</recordtype><sourceid>C6C</sourceid><sourceid>HGBXW</sourceid><recordid>eNqNkMtKAzEUQIMoWB8_4KogrmT03snktdTBqlBwo-AupJlEprSTmkyR-XtjR3QnrpLFOTe5h5AzhCsEENcJKXIooMQCoGKyGPbIBCWXhaLidZ9MQCEvBAA7JEcpLTPEJeKEXMxCXJtVm0zfhm4a_PTWDC61ppva0FlnVmvX9SfkwJtVcqff5zF5md091w_F_On-sb6ZF5Zi1RdSmUXjQEoogTLuVGXkAi0XCjwvjVGWclu5UlnBuBBMeWka3lS-sb5x2NBjcj7O3cTwvnWp18uwjV1-UpeMIuNcMZmpcqRsDClF5_UmtmsTB42gv3LoMYfOOfQuhx6yJEfpwy2CT7Z1ebsfEQA4CpBY5htg3fa7HnXYdn1WL_-vZpqOdMpE9-bi7w5_fO8TI9yC6w</recordid><startdate>20210601</startdate><enddate>20210601</enddate><creator>Takeuti, Izumi</creator><general>Springer Japan</general><general>Springer Nature</general><general>Springer Nature B.V</general><scope>C6C</scope><scope>BLEPL</scope><scope>DTL</scope><scope>HGBXW</scope><scope>AAYXX</scope><scope>CITATION</scope><orcidid>https://orcid.org/0000-0001-7235-2281</orcidid></search><sort><creationdate>20210601</creationdate><title>Formalisation of Bayesian concealment</title><author>Takeuti, Izumi</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c314t-89abde088020356e94a8b1c6790f62aa9c36c4e29c7567759f8ad6d4fdcfde1d3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2021</creationdate><topic>Applications of Mathematics</topic><topic>Bayesian analysis</topic><topic>Computational Mathematics and Numerical Analysis</topic><topic>Cryptography</topic><topic>Mathematics</topic><topic>Mathematics and Statistics</topic><topic>Mathematics, Applied</topic><topic>Original Paper</topic><topic>Physical Sciences</topic><topic>Probability theory</topic><topic>Science & Technology</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Takeuti, Izumi</creatorcontrib><collection>Springer Nature OA Free Journals</collection><collection>Web of Science Core Collection</collection><collection>Science Citation Index Expanded</collection><collection>Web of Science - Science Citation Index Expanded - 2021</collection><collection>CrossRef</collection><jtitle>Japan journal of industrial and applied mathematics</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Takeuti, Izumi</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formalisation of Bayesian concealment</atitle><jtitle>Japan journal of industrial and applied mathematics</jtitle><stitle>Japan J. Indust. Appl. Math</stitle><stitle>JPN J IND APPL MATH</stitle><date>2021-06-01</date><risdate>2021</risdate><volume>38</volume><issue>2</issue><spage>677</spage><epage>692</epage><pages>677-692</pages><issn>0916-7005</issn><eissn>1868-937X</eissn><abstract>In order to assure the concealment by cryptographic protocols, it is an effective measure to prove the concealment in a formal logical system. In the contemporary context of cryptographic protocol, the concealment has to be proved by using probability theory. There are several concepts of concealment in probability theory. One of them is Bayesian concealment. This study proposes a formal logical system to prove the Bayesian concealment of a secret sharing scheme.</abstract><cop>Tokyo</cop><pub>Springer Japan</pub><doi>10.1007/s13160-021-00458-y</doi><tpages>16</tpages><orcidid>https://orcid.org/0000-0001-7235-2281</orcidid><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0916-7005 |
| ispartof | Japan journal of industrial and applied mathematics, 2021-06, Vol.38 (2), p.677-692 |
| issn | 0916-7005 1868-937X |
| language | eng |
| recordid | cdi_webofscience_primary_000617081200001 |
| source | SpringerNature Journals |
| subjects | Applications of Mathematics Bayesian analysis Computational Mathematics and Numerical Analysis Cryptography Mathematics Mathematics and Statistics Mathematics, Applied Original Paper Physical Sciences Probability theory Science & Technology |
| title | Formalisation of Bayesian concealment |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-17T11%3A46%3A19IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_webof&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formalisation%20of%20Bayesian%20concealment&rft.jtitle=Japan%20journal%20of%20industrial%20and%20applied%20mathematics&rft.au=Takeuti,%20Izumi&rft.date=2021-06-01&rft.volume=38&rft.issue=2&rft.spage=677&rft.epage=692&rft.pages=677-692&rft.issn=0916-7005&rft.eissn=1868-937X&rft_id=info:doi/10.1007/s13160-021-00458-y&rft_dat=%3Cproquest_webof%3E2531566958%3C/proquest_webof%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2531566958&rft_id=info:pmid/&rfr_iscdi=true |