COOPERATIVE RECONFIGURATION OF USER INTERFACE MODELS FOR LEARNING CRYPTOGRAPHIC PROTOCOLS

Benjamin Weyers (), Wolfram Luther () and Nelson Baloian ()
Additional contact information
Benjamin Weyers: Department of Computer and Cognitive Science, U. of Duisburg-Essen, Lotharstr. 63, 47057 Duisburg, Germany
Wolfram Luther: Department of Computer and Cognitive Science, U. of Duisburg-Essen, Lotharstr. 63, 47057 Duisburg, Germany
Nelson Baloian: Department of Computer Science, U. de Chile, Blanco Encalada 2120, Santiago, Chile

International Journal of Information Technology & Decision Making (IJITDM), 2012, vol. 11, issue 06, 1127-1154

Abstract: Cooperative work in learning environments has been shown to be a successful extension to traditional learning systems due to the great impact of cooperation on students' motivation and learning success. A recent evaluation study has confirmed our hypothesis that students who constructed their roles in a cryptographic protocol cooperatively as sequence of actions in a user interface were faster in finding a correct solution than students who worked on their own. Here, students of a cooperation group modeled a user interface collaboratively for simulation of a cryptographic protocol using interactive modeling tools on a shared touch screen. In this paper, we describe an extended approach to cooperative construction of cryptographic protocols. Using a formal language for modeling and reconfiguring user interfaces, students describe a protocol step-by-step, modeling subsequent situations and thereby actions of the protocol. The system automatically generates a colored Petri net, which is matched against an existing action logic specifying the protocol, thus allowing formal validation of the construction process. The formal approach to modeling of user interfaces covers a much broader field than a simple cryptographic protocol simulation. Still, this paper seeks at investigating the use of such a formal modeling approach in the context of cooperative learning of cryptographic protocols and to develop a basis for more complex learning scenarios.

Keywords: Cooperative construction; cryptographic algorithm; learning environment; dialog and interaction logic modeling (search for similar items in EconPapers)
Date: 2012
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.worldscientific.com/doi/abs/10.1142/S0219622012400172
Access to full text is restricted to subscribers

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wsi:ijitdm:v:11:y:2012:i:06:n:s0219622012400172

Ordering information: This journal article can be ordered from

DOI: 10.1142/S0219622012400172

Access Statistics for this article

International Journal of Information Technology & Decision Making (IJITDM) is currently edited by Yong Shi

More articles in International Journal of Information Technology & Decision Making (IJITDM) from World Scientific Publishing Co. Pte. Ltd.
Bibliographic data for series maintained by Tai Tone Lim ().