| CPC G06F 21/552 (2013.01) [G06F 21/554 (2013.01); G06F 2221/034 (2013.01)] | 20 Claims |

|
1. A computer implemented method for securing an electronic facility in relation to a trojan, said method comprising the steps of:
first providing a facility structural and functional description, Register Transfer Language (RTL) model or netlist model;
first performing a trojan vulnerability analysis of the facility in relation to the trojan in relation to the facility structural and functional description, RTL model or netlist model to provide a trojan location analysis output;
first determining a selected instrument function in relation to an effect produced by the trojan, the selected instrument function comprising selected instrument information, the selected instrument information comprising control-side instrument information including control-side connections, the selected instrument information comprising operative-side instrument information including operative-side connections;
first defining said control-side instrument information of said selected instrument function within a generative-artificial-intelligence program prompt;
second defining said operative-side instrument information of said selected instrument function within said generative-artificial-intelligence program prompt; and
third defining said selected instrument function within a generative-artificial-intelligence program prompt.
|