Search results for "AVISPA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos	Formal Validation of OFEPSP+ with AVISPA.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF	AVISPA, security protocol, Fair exchange, SPAN, formal validation
69	Antonio Muñoz 0001, Antonio Maña, Daniel Serrano	AVISPA in the Validation of Ambient Intelligence Scenarios.	ARES	2009	DBLP DOI BibTeX RDF
68	Francis Klay, Laurent Vigneron	Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF	AVISPA Tool, authentication, fairness, Cryptographic protocols, non-repudiation, automatic analysis
50	Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò 0001, Laurent Vigneron	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.	CAV	2005	DBLP DOI BibTeX RDF
48	Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz 0001, María-Emilia Cambronero	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.	Telecommun. Syst.	2009	DBLP DOI BibTeX RDF	AVISPA toolbox, Model checking, Security protocols, Wireless sensor
40	Cas J. F. Cremers	The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols.	CAV	2008	DBLP DOI BibTeX RDF
30	Sangeetha Rajaram, Satyanarayana Vollala, Ramasubramanian Natarajan	ERMAP: ECC-based robust mutual authentication protocol for smart grid communication with AVISPA simulations.	Int. J. Ad Hoc Ubiquitous Comput.	2022	DBLP DOI BibTeX RDF
30	Tomás Rabas, Róbert Lórencz, Jirí Bucek	Verification of PUF-based IoT Protocols with AVISPA and Scyther.	SECRYPT	2022	DBLP DOI BibTeX RDF
30	Houssem Eddine Mohamadi, Nadjia Kara, Mohand Lagha	Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin.	FNSS	2018	DBLP DOI BibTeX RDF
30	Iulian Aciobanitei, Roxana-Ioana Guinea, Mihai-Lica Pura	AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols.	ICETE (2)	2018	DBLP DOI BibTeX RDF
30	Varun Garg, Anish Mathuria	On Automated Detection of Multi-Protocol Attacks Using AVISPA.	ICISS	2017	DBLP DOI BibTeX RDF
30	Ruhul Amin 0001, SK Hafizul Islam, Arijit Karati, G. P. Biswas	Design of an enhanced authentication protocol and its verification using AVISPA.	RAIT	2016	DBLP DOI BibTeX RDF
30	Omid Mir, Theo P. van der Weide, Cheng-Chi Lee	A Secure User Anonymity and Authentication Scheme Using AVISPA for Telecare Medical Information Systems.	J. Medical Syst.	2015	DBLP DOI BibTeX RDF
30	Julio Ariel Hurtado Alegria, María Cecilia Bastarrica, Alexandre Bergel	Avispa: a tool for analyzing software process models.	J. Softw. Evol. Process.	2014	DBLP DOI BibTeX RDF
30	Salekul Islam	Security analysis of LMAP using AVISPA.	Int. J. Secur. Networks	2014	DBLP DOI BibTeX RDF
30	Shizra Sultan, Abdul Ghafoor Abbasi, Muhammad Awais Shibli, Muhammad Ali Nasir	Secure Protocol for Financial Transactions Using Smartphones - SPFT - Formally Proved by AVISPA.	SECRYPT	2014	DBLP DOI BibTeX RDF
30	Sarah Abughazalah, Konstantinos Markantonakis, Keith Mayes	A mutual authentication protocol for low-cost RFID tags formally verified using CasperFDR and AVISPA.	ICITST	2013	DBLP DOI BibTeX RDF
30	Sheikh Ziauddin, Bruno Martin	Formal Analysis of ISO/IEC 9798-2 Authentication Standard Using AVISPA.	AsiaJCIS	2013	DBLP DOI BibTeX RDF
30	Julio Ariel Hurtado Alegria, María Cecilia Bastarrica, Alexandre Bergel	Analyzing software process models with AVISPA.	ICSSP	2011	DBLP DOI BibTeX RDF
30	Julio Ariel Hurtado Alegria, M. Cecilia Bastarrica, Alexandre Bergel	Analyzing the Scrum Process Model with AVISPA.	SCCC	2010	DBLP DOI BibTeX RDF
30	A. R. Rizwana Shaikh, Satish Devane	Verification of security properties of payment protocol using AVISPA.	ICITST	2009	DBLP DOI BibTeX RDF
30	Pavel Ocenasek, Miroslav Svéda	AVISPA: Towards practical verification of communication properties.	PDeS	2009	DBLP DOI BibTeX RDF
30	Antonio Muñoz 0001, Antonio Maña, Daniel Serrano	Model Cheking Ambient Intelligence with AVISPA.	AMIF	2008	DBLP DOI BibTeX RDF
30	Luca Viganò 0001	Automated Security Protocol Analysis With the AVISPA Tool.	MFPS	2005	DBLP DOI BibTeX RDF
30	Vicente Blanco Pérez, Patricia González, José Carlos Cabaleiro, Dora Blanco Heras, Tomás F. Pena, Juan J. Pombo, Francisco F. Rivera	AVISPA: visualizing the performance prediction of parallel iterative solvers.	Future Gener. Comput. Syst.	2003	DBLP DOI BibTeX RDF
30	Jeroen A. J. Leijten, Geoffrey Burns, Jos Huisken, Erwin Waterlander, Antoine van Wel	AVISPA: a massively parallel reconfigurable accelerator.	SoC	2003	DBLP DOI BibTeX RDF
28	Benoît Bertholon, Sébastien Varrette, Pascal Bouvry	Certicloud: A Novel TPM-based Approach to Ensure Cloud IaaS Security.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	Scyther, Avispa, Cloud Computing, TPM, IaaS
28	Sun-Hee Lim, Ki-Seok Bang, Okyeon Yi, Jongin Lim 0001	A Secure Handover Protocol Design in Wireless Networks with Formal Verification.	WWIC	2007	DBLP DOI BibTeX RDF	AVISPA, security, authentication, wireless, handover
20	Antonio Muñoz 0001, Antonio Maña, Daniel Serrano	SecMiLiA: An Approach in the Agent Protection.	ARES	2009	DBLP DOI BibTeX RDF
20	Antonio Muñoz 0001, Antonio Maña, Rajesh Harjani, Marioli Montenegro	Agent Protection Based on the Use of Cryptographic Hardware.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
20	Satish Devane, Deepak B. Phatak	Secure Transaction Protocol for CEPS Compliant EPS in Limited Connectivity Environment.	EC-Web	2009	DBLP DOI BibTeX RDF	E-commerce, Electronic Payment system, Payment Protocol
20	Sebastian Mödersheim, Luca Viganò 0001	The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.	FOSAD	2009	DBLP DOI BibTeX RDF
20	Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna	Validating Security Protocols under the General Attacker.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
20	Michael Backes 0001, Stefan Lorenz, Matteo Maffei, Kim Pecina	The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis.	CAV	2008	DBLP DOI BibTeX RDF
20	Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson	Formal Security Analysis of Electronic Software Distribution Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF
20	Judson Santiago, Laurent Vigneron	Optimistic Non-repudiation Protocol Analysis.	WISTP	2007	DBLP DOI BibTeX RDF
20	Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz 0001	Analysis of Web Services Secure Conversation with Formal Methods.	ICIW	2007	DBLP DOI BibTeX RDF
20	David von Oheimb, Jorge Cuéllar	Designing and Verifying Core Protocols for Location Privacy.	ISC	2006	DBLP DOI BibTeX RDF	Geopriv, privacy, model checking, exploration, location information
20	Mathieu Turuani	The CL-Atse Protocol Analyser.	RTA	2006	DBLP DOI BibTeX RDF
20	Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò 0001, David A. Basin	Formalizing and Analyzing Sender Invariance.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
20	Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi	Secure E-Commerce Transactions for Multicast Services.	CEC/EEE	2006	DBLP DOI BibTeX RDF
20	Yannick Chevalier, Laurent Vigneron	Strategy for Verifying Security Protocols with Unbounded Message Size.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	intruder model, automatic strategies, verification, security protocols, flaw detection