Results 111 to 120 of about 297 (139)
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
Model Cheking Ambient Intelligence with AVISPA
2009Current number of Ambient Intelligent systems is growning steadlily in last years. Moreover, several fields such as domotic and remote teaching are practical applications of AmI. These are some systems that interact with different ones, that is the reason of “AmI Ecosystem” term is used.
Antonio Muñoz 0001 +2 more
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 Svéda
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
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
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
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
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