Modelling ciphersuite and version negotiation in the TLS protocol

Real-world cryptographic protocols such as the widely used Transport Layer Security (TLS) protocol support many different combinations of cryptographic algorithms (called ciphersuites) and simultaneously support different versions. Recent advances in provable security have shown that most modern TLS ciphersuites are secure authenticated and confidential channel establishment (ACCE) protocols, but these analyses generally focus on single ciphersuites in isolation. In this paper we extend the ACCE model to cover protocols with many different sub-protocols, capturing both multiple ciphersuites and multiple versions, and define a security notion for secure negotiation of the optimal sub-protocol. We give a generic theorem that shows how secure negotiation follows, with some additional conditions, from the authentication property of secure ACCE protocols. Using this framework, we analyse the security of ciphersuite and three variants of version negotiation in TLS, including a recently proposed mechanism for detecting fallback attacks.

Teacher professional conversations – the oz- Teachers story

The oz-Teachers listserv, an email list for teachers, ran continuously for 20 years, from 1995 to 2015. It provided the technical infrastructure for professional communication with the majority of its members being Australian teachers based in classrooms across the country. An analysis of the list archives provides us with interesting insights as to how teachers learn from and within communities of their peers and how such communities offer social and educational affordances to allow teachers to generate and enhance their own learning. This paper begins with a brief review of the response to the announcement of the list’s closure. It then moves to a report of the types of communication which emerged from the list over time with comparisons drawn from extant research, namely, an early analysis of email lists and a more contemporary study of teacher communication through microblogging. We identified 14 categories with eight of these being paired, namely, as asking/seeking and responding/giving. The key finding of this analysis was that the list, and its professional discussions, were sustained through reciprocity and collective intelligence, that is, sharing of information and resources and that this was evident through the life of the listserv.

The professional development, resource and support needs of rural and urban ICT teachers

This paper presents findings from the SiMERR National Survey concerning the need priorities of secondary ICT teachers for professional development, resources and student learning experiences. The findings - drawn from a survey of 237 secondary ICT teachers across Australia - provide an opportunity to compare the needs of teachers working in metropolitan, provincial and remote schools. The study found that vacant ICT positions are difficult to fill ond that the novel on dynamic nature of ICT requires teachers to have more extensive opportunities for on-the-job training, collegial collaboration and mentoring than is the case for teachers of more traditional subjects like science and mathematics. The study also found that ICT teachers are commonly required to manage and maintain ICT resources and to assist other staff to use ICT resources, while being allocated insufficient time in which to do these additional activities. The implications of these and other findings are discussed along with recommendations to help address the needs of ICT teachers in different parts of Australia.

Connecting and collaborating in regional, rural and remote Western Australia

Teachers working in regional, rural and remote areas of Western Australia often experience a strong sense of geographic and social isolation from peers, colleagues and appropriate support mechanisms due to the huge distances between towns and communities. The projects described here have focused on the use of technology to enhance both teacher and student learning; and assist with Indigenous education and teacher professional learning. Connecting and collaborating through technologies is emerging as a powerful tool for motivating and engaging both teachers and learners within schools. Coupled with the direction of the current Federal Government with the Digital Education Revolution and the Digital Regions initiatives, opportunities for better serving regional, rural and remote communities are discussed, as are some of the current issues and needs related to these schools in Western Australia. The scope of these projects has been such that three guiding principles have been implemented through contextual lenses of varying foci - at the level of an individual, a school, and a community.