|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29 occurrences of 25 keywords
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARSPA-WITS ![In: Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers, pp. 124-137, 2009, Springer, 978-3-642-03458-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 420-426, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
68 | Francis Klay, Laurent Vigneron |
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, pp. 192-209, 2008, Springer. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 281-285, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 40(3-4), pp. 91-99, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 414-418, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Ad Hoc Ubiquitous Comput. ![In: Int. J. Ad Hoc Ubiquitous Comput. 41(4), pp. 232-245, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 19th International Conference on Security and Cryptography, SECRYPT 2022, Lisbon, Portugal, July 11-13, 2022., pp. 627-635, 2022, SCITEPRESS, 978-989-758-590-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FNSS ![In: Future Network Systems and Security - 4th International Conference, FNSS 2018, Paris, France, July 9-11, 2018, Proceedings, pp. 3-16, 2018, Springer, 978-3-319-94420-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICETE (2) ![In: Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018., pp. 686-691, 2018, SciTePress, 978-989-758-319-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Varun Garg, Anish Mathuria |
On Automated Detection of Multi-Protocol Attacks Using AVISPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security - 13th International Conference, ICISS 2017, Mumbai, India, December 16-20, 2017, Proceedings, pp. 179-193, 2017, Springer, 978-3-319-72597-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIT ![In: 2016 3rd International Conference on Recent Advances in Information Technology (RAIT), Dhanbad, India, March 3-5, 2016, pp. 404-409, 2016, IEEE, 978-1-4799-8579-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Syst. ![In: J. Medical Syst. 39(9), pp. 89:1-89:16, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Julio Ariel Hurtado Alegria, María Cecilia Bastarrica, Alexandre Bergel |
Avispa: a tool for analyzing software process models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Evol. Process. ![In: J. Softw. Evol. Process. 26(4), pp. 434-450, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Salekul Islam |
Security analysis of LMAP using AVISPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Secur. Networks ![In: Int. J. Secur. Networks 9(1), pp. 30-39, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014, pp. 387-392, 2014, SciTePress, 978-989-758-045-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 8th International Conference for Internet Technology and Secured Transactions, ICITST 2013, London, United Kingdom, December 9-12, 2013, pp. 44-51, 2013, IEEE, 978-1-908320-20-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Sheikh Ziauddin, Bruno Martin |
Formal Analysis of ISO/IEC 9798-2 Authentication Standard Using AVISPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaJCIS ![In: Eighth Asia Joint Conference on Information Security, AsiaJCIS 2013, Seoul, Korea, July 25-26, 2013, pp. 108-114, 2013, IEEE Computer Society, 978-0-7695-5075-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Julio Ariel Hurtado Alegria, María Cecilia Bastarrica, Alexandre Bergel |
Analyzing software process models with AVISPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSSP ![In: International Conference on Software and Systems Process, ICSSP 2011, Honolulu, HI, USA, May 21-22, 2011, Proceedings, pp. 23-32, 2011, ACM, 978-1-4503-0730-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Julio Ariel Hurtado Alegria, M. Cecilia Bastarrica, Alexandre Bergel |
Analyzing the Scrum Process Model with AVISPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, Antofagasta, Chile, 15-19 November 2010, pp. 60-65, 2010, IEEE Computer Society, 978-0-7695-4400-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | A. R. Rizwana Shaikh, Satish Devane |
Verification of security properties of payment protocol using AVISPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, ICITST 2009, London, UK, November 9-12, 2009, pp. 1-6, 2009, IEEE, 978-1-4244-5648-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Pavel Ocenasek, Miroslav Svéda |
AVISPA: Towards practical verification of communication properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDeS ![In: 9th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2009, Ostrava, Czech Republic, February 10-12, 2009., pp. 153-156, 2009, International Federation of Automatic Control, 978-3-902661-41-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Antonio Muñoz 0001, Antonio Maña, Daniel Serrano |
Model Cheking Ambient Intelligence with AVISPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIF ![In: Ambient Intelligence Perspectives - Selected Papers from the First International Ambient Intelligence Forum 2008, Hradec Králové, Czech Republic, 15-16 October 2008, pp. 182-193, 2008, IOS Press, 978-1-60750-388-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Luca Viganò 0001 |
Automated Security Protocol Analysis With the AVISPA Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 61-86, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 19(5), pp. 721-733, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoC ![In: Proceedings of the 2003 International Symposium on System-on-Chip, Tampere, Finland, November 19-21, 2003, pp. 165-168, 2003, IEEE, 0-7803-8160-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CLOUD ![In: IEEE International Conference on Cloud Computing, CLOUD 2011, Washington, DC, USA, 4-9 July, 2011, pp. 121-130, 2011, IEEE Computer Society, 978-1-4577-0836-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWIC ![In: Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings, pp. 67-78, 2007, Springer, 978-3-540-72694-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 341-348, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2, pp. 312-317, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Satish Devane, Deepak B. Phatak |
Secure Transaction Protocol for CEPS Compliant EPS in Limited Connectivity Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009. Proceedings, pp. 72-83, 2009, Springer, 978-3-642-03963-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSAD ![In: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures, pp. 166-194, 2009, Springer, 978-3-642-03828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna |
Validating Security Protocols under the General Attacker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARSPA-WITS ![In: Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers, pp. 34-51, 2009, Springer, 978-3-642-03458-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 419-422, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson |
Formal Security Analysis of Electronic Software Distribution Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, pp. 415-428, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Judson Santiago, Laurent Vigneron |
Optimistic Non-repudiation Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISTP ![In: Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems, First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007, Proceedings, pp. 90-101, 2007, Springer, 978-3-540-72353-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 27, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | David von Oheimb, Jorge Cuéllar |
Designing and Verifying Core Protocols for Location Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings, pp. 502-516, 2006, Springer, 3-540-38341-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Geopriv, privacy, model checking, exploration, location information |
20 | Mathieu Turuani |
The CL-Atse Protocol Analyser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 277-286, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò 0001, David A. Basin |
Formalizing and Analyzing Sender Invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, pp. 80-95, 2006, Springer, 978-3-540-75226-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi |
Secure E-Commerce Transactions for Multicast Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2006) and Workshops, 26-29 June 2006, Palo Alto, California, USA, pp. 18, 2006, IEEE Computer Society, 0-7695-2511-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Yannick Chevalier, Laurent Vigneron |
Strategy for Verifying Security Protocols with Unbounded Message Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(2), pp. 141-166, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
intruder model, automatic strategies, verification, security protocols, flaw detection |
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|