Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016.  extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties.
['Chiara Bodei', 'Pierpaolo Degano', 'Gian Luigi Ferrari', 'Letterio Galletta']
I am writing a research paper on a idea A Step Towards Checking Security in IoT
[{"from": "human", "value": "I am writing a research paper on a idea A Step Towards Checking Security in IoT"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016.  extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties."}]