Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: George Boole ushered the era of modern logic by arguing that logical reasoning does not fall in the realm of philosophy, as it was considered up to his time, but in the realm of mathematics. As such, logical propositions and logical arguments are modeled using algebraic structures. Likewise,  submit that security attributes must be modeled as formal mathematical propositions that are subject to mathematical analysis. ,  approach this problem by attempting to model security attributes in a refinement-like framework that has traditionally been used to represent reliability and safety claims
['Ana Laura O’Mill', 'Alex Vinokurov', 'Lamia Labed Jilani', 'Frederick T. Sheldon', 'Rahma Ben Ayed']
I am writing a research paper on a idea Towards an Engineering Discipline of Computational Society
[{"from": "human", "value": "I am writing a research paper on a idea Towards an Engineering Discipline of Computational Society"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: George Boole ushered the era of modern logic by arguing that logical reasoning does not fall in the realm of philosophy, as it was considered up to his time, but in the realm of mathematics. As such, logical propositions and logical arguments are modeled using algebraic structures. Likewise,  submit that security attributes must be modeled as formal mathematical propositions that are subject to mathematical analysis. ,  approach this problem by attempting to model security attributes in a refinement-like framework that has traditionally been used to represent reliability and safety claims"}]