Within the effort of ISO standarization, service specifications have been thought to be an important tool for formal verification of protocols. The paper discusses the modelling of some concepts quite related with the service: service access points and abstract service primitives. Firstly, ISO concepts are explained. Then, a service architectural model is… (More)
Usually the unicity distance is used to give the strength of encryption algorithms. In this work, the behaviour of encipherment algorithm has been analyzed and two different parameters are proposed in order to evaluate the quality. These parameters are checked against the unicity distance and a final test has been executed, using DES.