Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Thanks to the work of Bruno Blanchet definite clauses are an established technique for verifying security properties of communication protocols.  investigate the expressive por of this approach with respect to verifying authenticity. A translation from protocols into definite clauses is given, and direct proofs for correctness and completeness of the authenticity verification based on these clauses are shown. These proofs are new, and in particular the completeness result is surprising. These results, beside their intrinsic value, shed light on some interesting issues about existing proposals for exploiting definite clauses in protocols verification.
['Gilberto Filé', 'Roberto Vigo']
I am writing a research paper on a idea Expressive Power of Definite Clauses for Verifying Authenticity
[{"from": "human", "value": "I am writing a research paper on a idea Expressive Power of Definite Clauses for Verifying Authenticity"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Thanks to the work of Bruno Blanchet definite clauses are an established technique for verifying security properties of communication protocols.  investigate the expressive por of this approach with respect to verifying authenticity. A translation from protocols into definite clauses is given, and direct proofs for correctness and completeness of the authenticity verification based on these clauses are shown. These proofs are new, and in particular the completeness result is surprising. These results, beside their intrinsic value, shed light on some interesting issues about existing proposals for exploiting definite clauses in protocols verification."}]