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)
Mycological view of dermatophytes in humans Dermatophytes are a group of closely related fungi that have the capacity to invade keratinized tissue (skin, hair, and nails) of humans and animals to produce an infection, dermatophytosis, commonly referred to as ringworm. Dermatophytoses are common of world wide: in the United States, Microsporum audouinii and… (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.