Search For:

Displaying 1-8 out of 8 total
Open Service-Oriented Platforms for Personal Learning Environments
Found in: IEEE Internet Computing
By Salvador Ros,Roberto Hernandez,Antonio Robles-Gomez,Agustin C. Caminero,Llanos Tobarra,Elio Sancristobal Ruiz
Issue Date:July 2013
pp. 26-31
Learning management systems (LMSs) are software systems for administrating, tracking, and reporting on e-learning programs. The authors' next-generation LMS provides a personal learning environment (PLE) in which LMS functions are integrated into a context...
 
Automatic assessment for the e-learning of the network services in the context of the EHEA
Found in: Frontiers in Education, Annual
By Antonio Robles-Gomez,Llanos Tobarra,Salvador Ros,Roberto Hernandez,Agustin C. Caminero,Rafael Pastor
Issue Date:October 2011
pp. F4C-1-F4C-6
This work presents a new system for the automatic assessment of practical activities in the context of the EHEA. A subject focused on the configuration of network services has been chosen to implement the new automatic evaluation platform. Unlike tradition...
 
A New e-Learning Architecture for the Automatic Assessment of Network Services
Found in: Advanced Learning Technologies, IEEE International Conference on
By Antonio Robles-Gómez,Llanos Tobarra,Salvador Ros,Roberto Hern´ndez,Agustín C. Caminero,Rafael Pastor
Issue Date:July 2011
pp. 56-57
This work presents a new e-learning architecture for the automatic assessment of practical activities in the context of Higher Engineering Education. As an example, a subject focused on the configuration of network services has been chosen. Unlike traditio...
 
Formal Analysis of Sensor Network Encryption Protocol (SNEP)
Found in: IEEE International Conference on Mobile Adhoc and Sensor Systems Conference
By Llanos Tobarra, Diego Cazorla, Fernando Cuartero
Issue Date:October 2007
pp. 1-6
In this paper; a formal analysis of a security protocol in the field of wireless sensor networks is presented. Sensor Network Encryption Protocol (SNEP) describes basic primitives for providing confidentiality, authentication between two nodes, data integr...
 
Analysis of Web Services Secure Conversation with Formal Methods
Found in: Internet and Web Applications and Services, International Conference on
By Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Diaz
Issue Date:May 2007
pp. 27
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security contexts. A security context is an abstract concept that refers an authenticated state where the participants have derived secure session keys for m...
 
Towards an adaptive system for the evaluation of network services
Found in: 2013 IEEE Frontiers in Education Conference (FIE)
By Antonio Robles-Gomez,Salvador Ros,Roberto Hernandez,Llanos Tobarra,Agustin C. Caminero,Rafael Pastor,Miguel Rodriguez-Artacho,Manuel Castro,Elio SanCristobal,Mohamed Tawfik
Issue Date:October 2013
pp. 1011-1017
This paper presents a new educational system to automatically adapt the evaluation activities to the students' needs in the context of Higher Engineering Education. As an example, a subject focused on the configuration of network services has been chosen t...
   
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
Found in: Proceedings of the 6th ACM workshop on Formal methods in security engineering (FMSE '08)
By Alessandro Armando, Jorge Cuellar, Llanos Tobarra, Luca Compagna, Roberto Carbone
Issue Date:October 2008
pp. 1-10
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by different companies. The OASIS Security Assertion Markup Language (SAML) 2.0 Web...
     
Modelling secure wireless sensor networks routing protocols with timed automata
Found in: Proceedings of the 3nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks (PM2HW2N '08)
By Diego Cazorla, Fernando Cuartero, J. Jose Pardo, Llanos Tobarra
Issue Date:October 2008
pp. 51-58
In this work we focus on secure routing protocols in wireless sensor networks. Routing is a fundamental task in sensor networks and, consequently, attacks on the routing functionality can have a serious impact in the network performance. In order to deal w...
     
 1