Results 191 to 200 of about 8,202 (205)
Some of the next articles are maybe not open access.
Formal Validation of OFEPSP+ with AVISPA
2009Formal validation of security protocols is of utmost importance before they gain market or academic acceptance. In particular, the results obtained from the formal validation of the improved Optimistic Fair Exchange Protocol based on Signature Policies (OFEPSP+) are presented.
Jorge L. Hernandez-Ardieta +2 more
openaire +1 more source
Security analysis of LMAP using AVISPA
International Journal of Security and Networks, 2014Radio-frequency identification RFID is an RFID tag based technology for providing automated identification of both objects and humans. RFID tags have numerous potential applications if a secured authentication and privacy could be provided. An RFID tag is interrogated by a reader to get the identity of the tag along with other information.
openaire +1 more source
AVISPA: Towards Practical Verification of Communication Properties
IFAC Proceedings Volumes, 2009Abstract This paper proposed an application of AVISPA tool in the area of verification of communication properties. The main part of the paper presents the AVISPA tool and its components and basic ideas of the HLPSL language. The paper concludes with the recent experiences of AVISPA application in the education of network security at the Faculty of ...
Pavel Ocenasek, Miroslav Sveda
openaire +1 more source
Monstruos marinos (10). Avispas de mar
2020Las avispas de mar son unas pequeñas medusas azules, casi transparentes, y con forma de cubo. Como el resto de medusas, pertenecen al grupo de los Cnidarios y más concretamente a la clase Cubozoa (cubomedusas). Al igual que la gran mayoría de los cnidarios, muestra una serie de células urticantes (cnidocitos), en los extremos de los tentáculos, que les
openaire +1 more source
Distonía aguda tras picadura de avispa
Revista de Neurología, 2005Sara Benito Conejero +5 more
openaire +1 more source
Necrosis estriatal bilateral tras picadura de avispa
Revista de Neurología, 2000Emilio Franco Macías +5 more
openaire +1 more source