Results 181 to 190 of about 1,722 (212)
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
exaly +2 more sources
On Automated Detection of Multi-Protocol Attacks Using AVISPA
Lecture Notes in Computer Science, 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.
Anish Mathuria, Mathuria Anish
exaly +2 more sources
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 +2 more
exaly +2 more sources
Avispa: a tool for analyzing software process models [PDF]
Journal of Software: Evolution and Process, 2014 Artículo de publicación ISIDefining and formalizing the software development process is a common means for improving it. Software processmodeling is often a challenging and expensive endeavor, because a well specified processmay still include ...
Maria Cecilia Bastarrica +1 more
exaly +2 more sources
Analyzing software process models with AVISPA
Proceedings of the 2011 International Conference on Software and Systems Process, 2011Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort, but once specified there are few approaches and even fewer tools that aid the process engineer to analyze the quality of the process.
Julio Ariel Hurtado Alegria +2 more
openaire +1 more source
AVISPA: a massively parallel reconfigurable accelerator
Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2004Standards and market uncertainties, non-recurring engineering costs, and lack of access to (or knowledge of) application IP requires the next generation of embedded computing platforms to be fully programmable. In terms of silicon cost and power, practical yet fully programmable embedded computing platforms are enabled by reconfigurable accelerators ...
Jeroen A. J. Leijten +4 more
openaire +1 more source
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
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
Formal Analysis of ISO/IEC 9798-2 Authentication Standard Using AVISPA
, 2013 International audienceUse of formal methods is considered as a useful and efficient technique for the validation of security properties of the protocols.
Ziauddin, Bruno Martin
exaly +3 more sources