Results 151 to 160 of about 656 (180)
Some of the next articles are maybe not open access.
Analyzing the Scrum Process Model with AVISPA
2010 XXIX International Conference of the Chilean Computer Science Society, 2010Scrum is a widely known agile software process model specifically designed for guiding non-technical activities in software development. This process is formally defined in EPF and adopted by several software companies around the world. But having a process definition does not necessarily mean that it is well specified. We have developed AVISPA, a tool
Julio Ariel Hurtado Alegria +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
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
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
exaly +2 more sources
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.
Arijit Karati +2 more
exaly +2 more sources
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