{"entities":{"Q6096687":{"pageid":13230994,"ns":120,"title":"Item:Q6096687","lastrevid":41218506,"modified":"2025-04-20T13:45:30Z","type":"item","id":"Q6096687","labels":{"en":{"language":"en","value":"A reduction-based proof for authentication and session key security in three-party Kerberos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7737963"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096687$E9930541-D289-4B94-8071-AD81CFFCD99B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"782164c1667eba36452ae68de76562b355c357d1","datavalue":{"value":{"text":"A reduction-based proof for authentication and session key security in three-party Kerberos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6096687$F263E3AD-F105-4EFC-A4DC-8C0E98FB409C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c759eb63919871cbbfd5fb92947554083adcdd0d","datavalue":{"value":"1521.94066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096687$8DAA6422-78F7-4CC2-9429-9BAA3F01BF49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3faa2b4620a48b77960996fa6f42efbd8fa96506","datavalue":{"value":{"entity-type":"item","numeric-id":843364,"id":"Q843364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096687$A1432F9B-818F-46E4-9B9F-BEE90094793B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c8c80c0cc331c92abc928f4161ecd83a3b5e33e","datavalue":{"value":{"entity-type":"item","numeric-id":832360,"id":"Q832360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096687$E1B7472A-99B9-4B54-AFAB-BE157CB76F29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4f1dd5f1804b0765cf93ccdc0e7fe72ed510dc10","datavalue":{"value":{"entity-type":"item","numeric-id":244654,"id":"Q244654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096687$627E88DC-48D3-4BA7-8578-FA558B31E8C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40c8265221eda941ac502fcffff6e1f85e7d3136","datavalue":{"value":{"time":"+2023-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6096687$C0A709C1-55C1-4590-9A50-F6715C49B786","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5208103995208e7a9b724fa1747852020e8ac6b1","datavalue":{"value":"Summary: The Kerberos network security protocol provides authentication between clients and servers with the assistance of trusted servers and remains widely used. We give a reduction-based security showing that the mandatory three-party mode of Kerberos authentication and key establishment is a secure authentication protocol under standard assumptions on its encryption scheme; our results can be lifted to apply to quantum adversaries as well. As for many other real-world key exchange protocols, session key indistinguishability cannot be proven for Kerberos since the session key is used in the protocol itself, breaking indistinguishability. We can however show that Kerberos' optional sub-session mode yields secure session keys, and that the hash of the main session key is secure in Krawczyk's generalization of the authenticated and confidential channel establishment model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6096687$C51D68A1-C63A-4430-A236-D1530CC828C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096687$4924466A-CCD1-4517-A415-34DDE5D5D3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096687$310CCE54-32AD-4051-BD97-7006C3778C05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65a0a0a229a508cd3ad0b8d83e6faff4cfabe23c","datavalue":{"value":"7737963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096687$C7D2B008-FE4B-4881-B695-875068DBD543","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d482642181e8b654ccbdfce3ee04905ecbc0e07e","datavalue":{"value":"key exchange","type":"string"},"datatype":"string"},"type":"statement","id":"Q6096687$DEFAFEC1-8723-4786-A1D3-8ABE691768B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6096687$F0C480BF-D4F6-4AA7-B694-3B9170B99E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e14d6a7d67e2dc615c509586543cb257dbac7fb","datavalue":{"value":"Kerberos","type":"string"},"datatype":"string"},"type":"statement","id":"Q6096687$9CF5C742-3526-4878-8C58-ABE0862B22F3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096687$0246CC47-F072-4C6F-9151-3AC02B8709F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"545a9415c016ddbeec6ea785e1f0fd9f9d951767","datavalue":{"value":"https://doi.org/10.1504/ijact.2022.130832","type":"string"},"datatype":"url"},"type":"statement","id":"Q6096687$6C571244-D897-4674-9D32-CE7C2FDC4788","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8030b0622bb10a75db9533899faf1e2830454de","datavalue":{"value":"W4376625389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096687$32C7C425-5010-4FC5-BBFF-DC4D40E6B505","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"715bc9f4c5e43849809c5be27c57f61c6967f3e0","datavalue":{"value":"10.1504/IJACT.2022.130832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096687$C69D0754-F942-4D21-A731-392F70F942FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92dfbec861bdab324e5474c142c4d166ec9b8441","datavalue":{"value":{"entity-type":"item","numeric-id":4234051,"id":"Q4234051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e814e7396c363ab37d75d0e16080e3b33e3fad9d","datavalue":{"value":{"amount":"+0.88196164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$A6BDC67D-7F75-47B3-A963-086D96A9A293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52938173d04932b3988662935c6e5dacbef6dac5","datavalue":{"value":{"entity-type":"item","numeric-id":5862527,"id":"Q5862527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1091847d10836a1981bc4fbe158669d09b146e8","datavalue":{"value":{"amount":"+0.8719384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$72D55DF5-B818-454D-A484-4CB888D6B6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233c5e8b2d4bd80adee47e368fc7527a2a019f3c","datavalue":{"value":{"entity-type":"item","numeric-id":425526,"id":"Q425526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d41bca9715d4d0eaa7a1146490cd674df096d22","datavalue":{"value":{"amount":"+0.8622671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$B38C128B-F5CF-4764-84BA-6F5E104D13AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da3028b87563b4138714948b684750998795bf59","datavalue":{"value":{"entity-type":"item","numeric-id":497145,"id":"Q497145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4b352971478c6b239c550f4c31f33e754863b0","datavalue":{"value":{"amount":"+0.8562927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$7C8E294E-C9A6-41C0-896E-B444A2C0A350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a8d5ab69157293e1572ec08ad59677e4f647c5","datavalue":{"value":{"entity-type":"item","numeric-id":5458270,"id":"Q5458270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6542fc2c72f9c01b125f8148657035f4282cd5","datavalue":{"value":{"amount":"+0.85265476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$3EE84894-C75A-4F7A-A859-847ACA350F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946892116be28969fef108aa7e1a575c840a76eb","datavalue":{"value":{"entity-type":"item","numeric-id":5711587,"id":"Q5711587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6108a3f8d54ffa2a13fdf18c40be4b8cc36b51","datavalue":{"value":{"amount":"+0.8524897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$A683732D-062E-49D9-84AA-64D6D6E5F4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f8199c6851f06a40e52b2d933ce6645858b57b","datavalue":{"value":{"entity-type":"item","numeric-id":1931046,"id":"Q1931046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4cbe94043ef48e3c905220b2c8365076e39735","datavalue":{"value":{"amount":"+0.852227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$74D463AF-34B2-4045-9CD2-83483BB72BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8978aee10c56971aae1fb7d418214970ac807b3","datavalue":{"value":{"entity-type":"item","numeric-id":2169918,"id":"Q2169918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2170381153b9eebd2d7f5259031f51cbea0935d0","datavalue":{"value":{"amount":"+0.8471546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$DFB75A0A-8AF9-4B2A-9FD4-6004FA62592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a541a8182e622f007a2fe17a48a77c39db0898e9","datavalue":{"value":{"entity-type":"item","numeric-id":3019929,"id":"Q3019929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad70acea3fdbcc1692dc174194e28a605dd3a701","datavalue":{"value":{"amount":"+0.8453659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6096687$4F9F5192-CFAF-48A3-812C-1AD0E8EF28F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6096687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6096687"}}}}}