Method for protecting intangible assets in telecommunications networks

A method of securing and guaranteeing a behavior of a computer network system comprising at least one communication network comprising networking hardware, a certified communicating device connected to the at least one communication network, wherein the certified communicating device is associated with at least one of an asset or an activity, at least one formal model associated with the certified communicating device, wherein the at least one formal model specifies at least one parameter determining at least one behavior of the certified communicating device, and at least one protection against at least one attack, the at least one protection against the at least one attack being provided by the certified communication device at least according to the at least one parameter, the at least one protection being defined by at least one of access control by prohibiting unauthorized access to the at least one of an asset or an activity, confidentiality by prohibiting at least one of copying or theft of the at least one of an asset or an activity, integrity by prohibiting modifying of the at least one of an asset or an activity, and authenticity by detecting modification before use of the at least one of an asset or an activity, and at least one expert system connected to the at least one communication network, wherein the at least one expert system calculates at least one calculated parameter for the certified communicating device based on the at least one formal model associated with the certified communicating device and at least one security goal against the at least one attack and makes available the at least one calculated parameter to the certified communicating device, the method comprising:

• making available to the at least one expert system the at least one formal model associated with the certified communicating device,
• making available to the expert system the at least one security goal against the at least one attack,
• calculating, by the at least one expert system, the at least one calculated parameter for the certified communicating device based on the at least one formal model associated with the certified communicating device and the at least one security goal,
• making available the at least one calculated parameter by the at least one expert system to the certified communicating device, and
• using, by the certified communication device, the at least one calculated parameter to provide the at least one protection against the at least one attack.

A certified communication device associated with at least one of an asset or an activity, wherein the certified communication device provides at least one protection against at least one external attack to the at least one of the asset or the activity, wherein the at least one protection is defined by at least one of access control by prohibiting unauthorized access to the at least one of an asset or an activity, confidentiality by prohibiting at least one of copying or theft of the at least one of an asset or an activity, integrity by prohibiting modifying of the at least one of an asset or an activity, and authenticity by detecting modification before use of the at least one of an asset or an activity, and wherein the certified communication device comprises instructions, stored in a memory accessible by the certified communication device, that, when executed, perform a method, comprising:

• reading, from the memory, at least one initial parameter of the certified communication device, wherein the at least one initial parameter contains information concerning at least one operational behavior of the certified communication device with respect to the at least one protection against the at least one external attack;
• receiving, from an expert system, at least one calculated parameter using information from a formal model, wherein the at least one calculated parameter conforms to at least one guaranteed behavior of the certified communication device with respect to the at least one protection against at least one external attack;
• modifying, by the certified communication device, the at least one operational behavior of the certified communication device with respect to the at least one protection against at least one external attack based on the at least one calculated parameter to comply with the at least one guaranteed behavior;
• and
• applying, by the certified communication device, the at least one protection against the at least one external attack to the at least one of the asset or the activity taking advantage of the at least one guaranteed behavior.