Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Security protocols are often specified at the application layer; hover, application layer specifications give little detail regarding message data structures at the presentation layer upon which some implementation-dependent attacks rely.   present an approach to verifying security protocols in which both the application and presentation layers are modelled. Using the Group Domain of Interpretation protocol as an example, our application layer specification of the protocol is used as input to the AVISPA model checking tool for analysis. Two type flaw attacks are found via model checking which are then verified against the corresponding presentation layer specification, thus identifying the minimal requirements to prevent the attacks.
['Benjamin W. Long', 'Colin J. Fidge', 'David A. Carrington']
I am writing a research paper on a idea Cross-layer verification of type flaw attacks on security protocols
[{"from": "human", "value": "I am writing a research paper on a idea Cross-layer verification of type flaw attacks on security protocols"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Security protocols are often specified at the application layer; hover, application layer specifications give little detail regarding message data structures at the presentation layer upon which some implementation-dependent attacks rely.   present an approach to verifying security protocols in which both the application and presentation layers are modelled. Using the Group Domain of Interpretation protocol as an example, our application layer specification of the protocol is used as input to the AVISPA model checking tool for analysis. Two type flaw attacks are found via model checking which are then verified against the corresponding presentation layer specification, thus identifying the minimal requirements to prevent the attacks."}]