Authentication is one of the foremost goals of many security protocols. It is most often formalised as a form of agreement, which expresses that the communicating partners agree on the values of a number of variables. In this paper we formalise and study an intensional form of authentication which we call synchronisation. Synchronisation expresses that the messages are transmitted exactly as pr...

Let N0 be the set of all non-negative integers and P(N0) be its power set. Then, an integer additive set-indexer (IASI) of a given graph G is defined as an injective function f : V (G) → P(N0) such that the induced edge-function f : E(G) → P(N0) defined by f(uv) = f(u) + f(v) is also injective, where f(u) + f(v) is the sumset of f(u) and f(v). An IASI f of G is said to be a strong IASI of G if ...