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

WST: A tool supporting timed composite Web Services Model transformation

  • Cambronero, M.E.
  • Díaz, G.
  • Martínez, E.
  • Valero, V.
  • Tobarra, L.

SIMULATION (p. 349-364) - 2012

10.1177/0037549710372098 Ver en origen

  • ISSN/ISBN 1741-3133

An xml modular approach in the building of remote labs by students: A way to improve learning

  • Pastor-Vargas, R.
  • Sánchez, D.
  • Ros, S.
  • Hernández, R.
  • Caminero, A.
  • Tobarra, L.
  • Robles-Gomez, A.
  • Castro, M.
  • San-Cristóbal, E.
  • Diaz, G.
  • Tawfik, M.
... Ver más Contraer

International Journal of Online Engineering (p. 5-12) - 2013

10.3991/ijoe.v9is5.2662 Ver en origen

  • ISSN/ISBN 1868-1646

Laboratories as a service (LaaS): Using cloud technologies in the field of education

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

Journal of Universal Computer Science (p. 2112-2126) - 2013

  • ISSN/ISBN 0948-695X

Comparison of LMSs: Which is the most suitable LMS for my needs?

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

International Journal of Emerging Technologies in Learning (p. 29-36) - 2013

Editor: Kassel University Press GmbH

10.3991/ijet.v8is2.2758 Ver en origen

  • ISSN/ISBN 1863-0383

P2P-based resource discovery in dynamic grids allowing multi-attribute and range queries

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

Parallel Computing (p. 615-637) - 2013

10.1016/j.parco.2013.08.003 Ver en origen

  • ISSN/ISBN 0167-8191

Open service-oriented platforms for personal learning environments

  • Ros, S.
  • Hernandez, R.
  • Robles-Gomez, A.
  • Caminero, A.C.
  • Tobarra, L.
  • Ruiz, E.S.

IEEE Internet Computing (p. 26-31) - 2013

10.1109/mic.2013.73 Ver en origen

  • ISSN/ISBN 1089-7801

Integration of Multiple Data Sources for predicting the Engagement of Students in Practical Activities

  • Llanos Tobarra
  • Salvador Ros Muñoz
  • Roberto Hernández Berlinches
  • Antonio Robles Gómez
  • Agustín C. Caminero
  • Rafael Pastor Vargas

IJIMAI (p. 53-62) - 2014

Editor: IMAI software

10.9781/ijimai.2014.277 Ver en origen

  • ISSN/ISBN 1989-1660

Automatic management services for remote/virtual laboratories

  • Pastor-Vargas, R.
  • Tobarra, L.
  • Ros, S.
  • Hernández, R.
  • Robles, A.
  • Castro, M.

International Journal of Online Engineering (p. 43-49) - 2014

Editor: Kassel University Press GmbH

10.3991/ijoe.v10i6.3992 Ver en origen

  • ISSN/ISBN 1865-7923

On the creation of customizable laboratory experiments: Deconstruction of remote laboratories to create laboratories as a Service (LaaS)

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

International Journal of Interactive Mobile Technologies (p. 35-42) - 2014

Editor: International Association of Online Engineering

10.3991/ijoe. v10i6.3989 Ver en origen

  • ISSN/ISBN 1865-7923

Analyzing the students' behavior and relevant topics in virtual learning communities

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

Computers in Human Behavior (p. 659-669) - 2014

10.1016/j.chb.2013.10.001 Ver en origen

  • ISSN/ISBN 0747-5632

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