A method for transmitting data over an AFDX network, from a sender to a receiver, the sender includes a sending application and a sending network interface, the receiver includes a receiving application and a receiving network interface, the method comprising:coding the data, by the sending application, by implementing a first predefined CRC rule, to produce a coded application data, the first predefined CRC rule includes performing a K-linear transforming function, splitting the result of the K-linear transforming function into a plurality of blocks, individually inverting the plurality of blocks using S-boxes, and performing an expansion by a CRC of maximal non-linearities in the encoded data;further coding the coded application data, by the sending network interface, by implementing a second predefined CRC rule different than the first predefined CRC rule, to produce a coded network frame, a process to code data by the first predefined CRC rule being different than a process to code data by the second predefined CRC rule;sending the coded network frame over the AFDX network from the sender to the receiver;decoding the coded network frame, by the receiving network interface, by implementing the second predefined CRC rule;detecting alteration of at least a portion of the data, by the receiving application, by implementing the first predefined CRC rule; andin event of detection of alteration of at least the portion of the data, restoring the altered data item by sending a request, from the receiving application to the sending application over the AFDX network, to retransmit the data.Read less <