dorsal/arxiv
View SchemaFormal context for cryptographic models
| Authors | John M. Myers, F. Hadi Madjid |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0011030 |
| URL | https://arxiv.org/abs/quant-ph/0011030 |
Abstract
To clarify what is involved in linking models to instruments, we adapt quantum mechanics to define models that display explicitly the points at which they can be linked to statistics of results of the use of instruments. Extending an earlier proof that linking models to instruments takes guesswork, we show: Any model of cryptographic instruments can be *enveloped*, nonuniquely, by another model that expresses conditions of instruments that must be met if the first model is to fit a set of measured outcomes. As a result, model A of key distribution can be enveloped in various ways to reveal alternative models that Eve can try to implement, in conflict with model A and its promise of security. A different enveloping model can help Alice and Bob by expressing necessities of synchronization that they manipulate to improve their detection of eavesdropping. Finally we show that models based on pre-quantum physics are also open to envelopment.
{
"annotation_id": "572d948e-bd82-478b-b13d-089ab548acaf",
"date_created": "2026-03-02T18:01:42.529000Z",
"date_modified": "2026-03-02T18:01:42.529000Z",
"file_hash": "8e4b185b0a98c71976bd8e1311258ffe8e23c37c89cb688aa4d182d4f53b6f1f",
"private": false,
"record": {
"abstract": "To clarify what is involved in linking models to instruments, we adapt\nquantum mechanics to define models that display explicitly the points at which\nthey can be linked to statistics of results of the use of instruments.\nExtending an earlier proof that linking models to instruments takes guesswork,\nwe show: Any model of cryptographic instruments can be *enveloped*,\nnonuniquely, by another model that expresses conditions of instruments that\nmust be met if the first model is to fit a set of measured outcomes. As a\nresult, model A of key distribution can be enveloped in various ways to reveal\nalternative models that Eve can try to implement, in conflict with model A and\nits promise of security. A different enveloping model can help Alice and Bob by\nexpressing necessities of synchronization that they manipulate to improve their\ndetection of eavesdropping. Finally we show that models based on pre-quantum\nphysics are also open to envelopment.",
"arxiv_id": "quant-ph/0011030",
"authors": [
"John M. Myers",
"F. Hadi Madjid"
],
"categories": [
"quant-ph"
],
"title": "Formal context for cryptographic models",
"url": "https://arxiv.org/abs/quant-ph/0011030"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "f415ce37-8bf4-44cf-aee7-9efc09bafcf4",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}