Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Representation of ignorance about large numbers --- agent a does not know agent b's key --- is not feasible in standard Kripke semantics. The paper introduces register models that allow for compact representation of such ignorance. This is used to design a sound an complete language for number guessing games. The probabilities generated by our semantics allow for and motivate Monte Carlo model checking for register models.  show that the approach can be extended to a real life setting, namely the analysis of cryptographic security protocols.  look at a ll known security protocol for secret key distribution over an insecure network, and point out how this can be analyzed with our modified version of Kripke semantics.
['Jan van Eijck', 'Malvin Gattinger']
I am writing a research paper on a idea Elements of Epistemic Crypto Logic
[{"from": "human", "value": "I am writing a research paper on a idea Elements of Epistemic Crypto Logic"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Representation of ignorance about large numbers --- agent a does not know agent b's key --- is not feasible in standard Kripke semantics. The paper introduces register models that allow for compact representation of such ignorance. This is used to design a sound an complete language for number guessing games. The probabilities generated by our semantics allow for and motivate Monte Carlo model checking for register models.  show that the approach can be extended to a real life setting, namely the analysis of cryptographic security protocols.  look at a ll known security protocol for secret key distribution over an insecure network, and point out how this can be analyzed with our modified version of Kripke semantics."}]