Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Tatebayashi, Matsuzaki and Newman (TMN) protocol is a key exchange cryptographic protocol for mobile communication systems.  presents an incremental formal modeling of the TMN protocol using Event-B method.  model in this paper the protocol step by step using refinement, a technique of Event-B. The first step will be the modeling of the most abstract specification of the protocol. Then by the second refinement more details of the protocol specification will be added to the model. By this approach, the model will be a more explicit representation of the target protocol by each refinement. In the developed Event-B models of the TMN protocol described in this paper, all proofs are generated and discharged by the Rodin tool.
['Sanae El Mimouni', 'Mohamed Bouhdadi']
I am writing a research paper on a idea An incremental refinement approach to a development of TMN protocol
[{"from": "human", "value": "I am writing a research paper on a idea An incremental refinement approach to a development of TMN protocol"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Tatebayashi, Matsuzaki and Newman (TMN) protocol is a key exchange cryptographic protocol for mobile communication systems.  presents an incremental formal modeling of the TMN protocol using Event-B method.  model in this paper the protocol step by step using refinement, a technique of Event-B. The first step will be the modeling of the most abstract specification of the protocol. Then by the second refinement more details of the protocol specification will be added to the model. By this approach, the model will be a more explicit representation of the target protocol by each refinement. In the developed Event-B models of the TMN protocol described in this paper, all proofs are generated and discharged by the Rodin tool."}]