In this paper we propose a formal framework for dealing
with the inconsistency in secure messages with weights, WhIChtakes into
account both the freshness and dynamic properties of secure messages.
This enables us to better measure the inconsistency and generates reliable
verification result.
