RDF/XML JSON-LD N3/Turtle RDF/JSON

TOBARRA ABAD, MARIA DE LOS LLANOS

SISTEMAS DE COMUNICACIÓN Y CONTROL / Universidad Nacional de Educación a Distancia

Actividades

Emulating and evaluating virtual remote laboratories for cybersecurity

  • Robles-Gómez, A.
  • Tobarra, L.
  • Pastor-Vargas, R.
  • Hernández, R.
  • Cano, J.

Sensors (Switzerland) - 2020

Editor: MDPI AG

10.3390/s20113011 Ver en origen

  • ISSN/ISBN 1424-8220

Analyzing Students' Self-Perception of Success and Learning Effectiveness Using Gamification in an Online Cybersecurity Course

  • Ros, S.
  • Gonzalez, S.
  • Robles, A.
  • Tobarra, L.L.
  • Caminero, A.
  • Cano, J.

IEEE Access (p. 97718-97728) - 2020

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2020.2996361 Ver en origen

  • ISSN/ISBN 2169-3536

A cloud game-based educative platform architecture: The cyberscratch project

  • Tobarra, L.
  • Utrilla, A.
  • Robles-Gómez, A.
  • Pastor-Vargas, R.
  • Hernández, R.

Applied Sciences (Switzerland) (p. 1-22) - 2021

Editor: MDPI AG

10.3390/app11020807 Ver en origen

  • ISSN/ISBN 2076-3417

Analyzing the users’ acceptance of an IoT cloud platform using the UTAUT/TAM model

  • Tobarra, L.
  • Haut, J.M.
  • Hernández, R.
  • Pastor-Vargas, R.
  • Robles-Gómez, A.

IEEE Access (p. 150004-150020) - 2021

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/access.2021.3125497 Ver en origen

  • ISSN/ISBN 2169-3536

Smart Contracts for Managing the Chain-of-Custody of Digital Evidence: A Practical Case of Study †

  • Santamaría, P.
  • Tobarra, L.
  • Pastor-Vargas, R.
  • Robles-Gómez, A.

Smart Cities (p. 709-727) - 2023

Editor: MDPI

10.3390/smartcities6020034 Ver en origen

  • ISSN/ISBN 2624-6511

Cibercriminalidad

  • Alicia Gil Gil
  • Roberto Hernández Berlinches (coord.)
  • Sergio Cámara Arroyo
  • Jesús Salvador Cano Carrillo
  • Ascensión García Ruiz
  • Carlos Martín Fernández
  • Rafael Pastor Vargas
  • Antonio Robles Gómez
  • Llanos Tobarra
... Ver más Contraer

2019

Editor: Dykinson

  • ISSN/ISBN 978-84-1324-269-9

Security in wireless sensor networks: A formal approach

  • Tobarra, L.
  • Cazorla, D.
  • Cuartero, F.

From Problem toward Solution: Wireless Sensor Networks Security (p. 145-164) - 2009

Editor: Nova Science Publishers, Inc.

  • ISSN/ISBN 9781604564570

Developing metacognitive skills for training on information security

  • Cano, J.
  • Hernandez, R.
  • Pastor, R.
  • Ros, S.
  • Tobarra, L.
  • Robles-Gomez, A.

Lecture Notes in Networks and Systems (p. 708-720) - 2018

Editor: Springer

10.1007/978-3-319-64352-6_67 Ver en origen

  • ISSN/ISBN 2367-3389

La perspectiva técnica: datos y algoritmos

  • Llanos Tobarra
  • José Manuel Cuadra Troncoso

La construcción social de la identidad colectiva en internet: el derecho a la memoria digital (p. 153-170) - 2021

Editor: Thomson Reuters Aranzadi

  • ISSN/ISBN 978-84-1390-832-8

Avoiding e-protoring, ensuring trust: UNED’s AvEx

  • Jose Luis Aznarte Mellado
  • Ángeles Sánchez-Elvira Paniagua
  • Miguel Santamaría Lancho
  • Llanos Tobarra
  • Jesús G. Boticario

Designing online assessment. Solutions that are rigorous, trusted, flexible and scalable (p. 75-77) - 2022

Editor: European Association of Distance Teaching Universities (EADTU)

Application of formal methods to the analysis of Web Services Security

  • Tobarra, L.
  • Cazorla, D.
  • Cuartero, F.
  • Díaz, G.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 215-229) - 2005

10.1007/11549970_16 Ver en origen

  • ISSN/ISBN 9783540287018

Model checking wireless sensor network security protocols: TinySec + LEAP

  • Tobarra, L.
  • Cazorla, D.
  • Cuartero, F.
  • Díaz, G.
  • Cambronero, E.

IFIP International Federation for Information Processing (p. 95-106) - 2007

10.1007/978-0-387-74899-3_9 Ver en origen

  • ISSN/ISBN 9780387748986

Formal analysis of sensor network encryption protocol (SNEP)

  • Tobarra, L.
  • Cazorla, D.
  • Cuartero, F.

2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS - 2007

10.1109/mobhoc.2007.4428763 Ver en origen

  • ISSN/ISBN 9781424414550

Analysis of Web services secure conversation with formal methods

  • Tobarra, L.
  • Cazorla, D.
  • Cuartero, F.
  • Díaz, G.

Second International Conference on Internet and Web Applications and Services, ICIW'07 - 2007

10.1109/iciw.2007.17 Ver en origen

  • ISSN/ISBN 9780769528441

Modelling secure wireless sensor networks routing protocols with timed automata

  • Tobarra, L.
  • Cazorla, D.
  • Cuartero, F.
  • Pardo, J.J.

PM2HW2N'08 - Proceedings of the 3rd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks (p. 51-58) - 2008

10.1145/1454630.1454638 Ver en origen

  • ISSN/ISBN 9781605582399

Formal analysis of SAML 2.0 web browser single sign-on: Breaking the SAML-based single sign-on for google apps

  • Armando, A.
  • Carbone, R.
  • Compagna, L.
  • Cuellar, J.
  • Tobarra, L.

Proceedings of the ACM Conference on Computer and Communications Security (p. 1-9) - 2008

10.1145/1456396.1456397 Ver en origen

  • ISSN/ISBN 9781605582887

Formal verification of the Secure Sockets Layer protocol

  • Tobarra, L.
  • Cazorla, D.
  • Pardo, J.J.
  • Cuartero, F.

ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems (p. 246-252) - 2008

  • ISSN/ISBN 9789898111388

Proposal of an auto-evaluation framework for the learning of network services

  • Robles-Gómez, A.
  • Tobarra, L.
  • Ros, S.
  • Hernández, R.
  • Caminero, A.
  • Pastor, R.
  • Castro, M.
... Ver más Contraer

2011 IEEE Global Engineering Education Conference, EDUCON 2011 (p. 392-396) - 2011

10.1109/educon.2011.5773166 Ver en origen

  • ISSN/ISBN 9781612846439

Automatic assessment for the e-learning of the network services in the context of the EHEA

  • Robles-Gómez, A.
  • Tobarra, L.
  • Ros, S.
  • Hernández, R.
  • Caminero, A.C.
  • Pastor, R.

Proceedings - Frontiers in Education Conference, FIE - 2011

10.1109/fie.2011.6142752 Ver en origen

  • ISSN/ISBN 1539-4565

A new e-learning architecture for the automatic assessment of network services

  • Robles-Gómez, A.
  • Tobarra, L.
  • Ros, S.
  • Hernández, R.
  • Caminero, A.C.
  • Pastor, R.

Proceedings of the 2011 11th IEEE International Conference on Advanced Learning Technologies, ICALT 2011 (p. 56-57) - 2011

10.1109/icalt.2011.24 Ver en origen

  • ISSN/ISBN 9780769543468

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Este/a investigador/a no tiene proyectos de investigación.

Formal methods for the analysis of security protocols

  • Llanos Tobarra
  • Fernando Cuartero Gómez (dir. tes.)
  • Diego Cazorla López (dir. tes.)
  • Valentín Valero Ruiz (pres.)
  • Juan José Pardo Mateo (secr.)
  • Karim Djemame (voc.)
  • Pedro Merino Gómez (voc.)
  • Francisco Javier Oliver Villarroya (voc.)
... Ver más Contraer

2009

Defensa realizada en: Universidad de Castilla-La Mancha

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 24/07/23 17:32