Results 151 to 160 of about 1,089 (174)
Some of the next articles are maybe not open access.
Verification of security properties of payment protocol using AVISPA
2009 International Conference for Internet Technology and Secured Transactions, (ICITST), 2009Emerging e-commerce activity is giving scope for the design of many new protocols, and to gain confidence, these protocol need to be verified for its designed properties. Specifically protocol used in ecommerce transactions needs to be verified for their security properties.
A. R. Rizwana Shaikh, Satish Devane
openaire +1 more source
Trauma ocular: por picadura de broncano (avispa)
Indexia revista médico - científica, 2023Las picaduras de insecto en la córnea son una condición rara que amenaza la visión. Este evento lesiona el ojo por trauma directo, reacción inmunológica y/o toxicidad del veneno (1) y, debido a ello, puede causar una reacción grave. En relación con eso, se reporta un caso de picadura de avispa en la córnea de un paciente de 25 años, quien fue tratado ...
Graciela Ruiz Yepez +1 more
openaire +1 more source
Design of an enhanced authentication protocol and its verification using AVISPA
2016 3rd International Conference on Recent Advances in Information Technology (RAIT), 2016In the password based authenticated protocol, protecting off-line guessing attack is quite intricate owing to its low entropy property. In order to withstand it, three-factor (e.g., biometric, smartcard and password) authentication now becoming an important research paradigm in information security.
Ruhul Amin 0001 +3 more
openaire +1 more source
On Automated Detection of Multi-Protocol Attacks Using AVISPA
2017AVISPA is a well-known automated tool for analysing and verifying security protocols. Many researchers have used AVISPA to find attacks against individual protocols. Multi-protocol attacks use a combination of messages from different protocols to defeat the security objectives of one or more protocols.
Varun Garg, Anish Mathuria
openaire +1 more source
Verification of PUF-based IoT Protocols with AVISPA and Scyther
Proceedings of the 19th International Conference on Security and Cryptography, 2022Tomás Rabas +2 more
openaire +1 more source
Distonía aguda tras picadura de avispa
Revista de Neurología, 2005Sara Benito Conejero +5 more
openaire +1 more source
Avispas grises, o, Del amor fuera de peligro en Morandi: fragmentos
Estudios Filosofía Historia Letras, 2016Gérard De Nerval
exaly