Formal context for cryptographic models

Details Formal context for cryptographic models Formal context for cryptographic models

2000-11-08

arxiv.org/abs/quant-ph/0011030v1

Physics

Quantum Physics

23 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Formal context for cryptographic models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Formal context for cryptographic models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formal context for cryptographic models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-125562