Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  formalize a hierarchy of adversary models for security protocol analysis, ranging from a Dolev-Yao style adversary to more porful adversaries who can reveal different parts of principals' states during protocol execution.  define our hierarchy by a modular operational semantics describing adversarial capabilities.  use this to formalize various, practically-relevant notions of key and state compromise. Our semantics can be used as a basis for protocol analysis tools. As an example,  extend an existing symbolic protocol-verification tool with our adversary models. The result is the first tool that systematically supports notions such as ak perfect forward secrecy, key compromise impersonation, and adversaries capable of so-called strong corruptions and state-reveal queries. As further applications,  use our model hierarchy to relate different adversarial notions, gaining new insights on their relative strengths, and  use our tool to find new attacks on protocols.
['David A. Basin', 'Cas Cremers']
I am writing a research paper on a idea From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries
[{"from": "human", "value": "I am writing a research paper on a idea From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  formalize a hierarchy of adversary models for security protocol analysis, ranging from a Dolev-Yao style adversary to more porful adversaries who can reveal different parts of principals' states during protocol execution.  define our hierarchy by a modular operational semantics describing adversarial capabilities.  use this to formalize various, practically-relevant notions of key and state compromise. Our semantics can be used as a basis for protocol analysis tools. As an example,  extend an existing symbolic protocol-verification tool with our adversary models. The result is the first tool that systematically supports notions such as ak perfect forward secrecy, key compromise impersonation, and adversaries capable of so-called strong corruptions and state-reveal queries. As further applications,  use our model hierarchy to relate different adversarial notions, gaining new insights on their relative strengths, and  use our tool to find new attacks on protocols."}]