Actually, I want to know whether there are explicit and formal definitions of the properties which are authenticity, integrality or non-repudiation.
It seems that the signatures and MACs can achieve the authenticity, integrality, non-repudiation and unforgeability. However, there is only a unforgeable experiment when we consider the security of signatures or MACs.
Q1: What about other three types of security experiments? Are there the formal definitions of the security experiments of the other three properties?
Q2: What are the relations among these four properties? (Anyway, how to prove the relation formally, if there are not a formal definitions?)
If the unforgeability implies the others which means that ungorgebility is the strongest notion among these four properties, then I think I can regard this conclusion as the answer of Q1. If any pair of these four properties are separation, there must exist a scheme which only achieves any part of these four properties. (I know that a scheme which cannot achieve all these four properties is not secure. I just want to consider the existence of them in order to know the relation among these four properties.)