Abstract: The disclosure relates to a method for verifying an implementation of a security policy by a computer program. The method comprises obtaining (S3) the computer program. The method further comprises, based on obtaining (S2) a security policy correspondence table, annotating (S4) the computer program with at least one annotation comprising an expected security type associated to a variable output by a critical instruction of the computer program. The method further comprises, based on obtaining (S1) propagation rule sets, analyzing the instructions of the annotated computer program to associate (S5) a propagated security type to each variable output by an instruction of the annotated computer program. The method further comprises verifying the implementation of the security policy by comparing (S6) the propagated and Critical expected security types. The disclosure further relates to a corresponding computer program, a corresponding computer-readable storage medium and a corresponding processing circuit.

Abstract: An object of this invention is to obtain a whitelist generator with which the accuracy of data relating to the specifications of normal communication serving as an automatic generation source can be guaranteed, whereby the accuracy of a generated whitelist can be guaranteed over an entire whitelist generation flow. The whitelist generator is applied to a system formed from a plurality of devices, the plurality of devices being configured to exchange data with each other, in order to generate a whitelist used for whitelisting intrusion detection, and includes a model verification unit that verifies, on the basis of an input model, at least one of whether or not normal communication in the system has been modeled correctly and whether or not the model is logically consistent, and a model conversion unit that converts the verified model into a whitelist.

Abstract: An object of this invention is to obtain a whitelist generator with which the accuracy of data relating to the specifications of normal communication serving as an automatic generation source can be guaranteed, whereby the accuracy of a generated whitelist can be guaranteed over an entire whitelist generation flow. The whitelist generator is applied to a system formed from a plurality of devices, the plurality of devices being configured to exchange data with each other, in order to generate a whitelist used for whitelisting intrusion detection, and includes a model verification unit that verifies, on the basis of an input model, at least one of whether or not normal communication in the system has been modeled correctly and whether or not the model is logically consistent, and a model conversion unit that converts the verified model into a whitelist.

Abstract: A method in a mobile wireless communication device capable of receiving a paging message transmitted in a series of bursts over successive time frames including receiving (210) not more than one burst of an incoming paging message, determining (220) whether the incoming paging message corresponds to a known paging message, and (230) reducing power consumption of radio circuits of the mobile wireless communication device during time frames when other bursts would be received if the incoming paging message corresponds to the known paging message. If the incoming data does not correspond to the known data, additional burst are received and decoded.

Abstract: A method in a mobile wireless communication device capable of receiving a paging message transmitted in a series of bursts over successive time frames including receiving (210) not more than one burst of an incoming paging message, determining (220) whether the incoming paging message corresponds to a known paging message, and (230) reducing power consumption of radio circuits of the mobile wireless communication device during time frames when other bursts would be received if the incoming paging message corresponds to the known paging message. If the incoming data does not correspond to the known data, additional burst are received and decoded.