6664 research outputs found
Sort by
Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol
Get PDFFifth generation mobile network (5G) is intended to solve future constraints for accessing network services. The user and network operator depend on security assurances provided by the Authentication and Key Agreement protocols (AKA) used. For 5G network, the AKA has been standardized and 5GAKA protocol is one of the primary authentication methods that have been defined. This paper models the protocol and provides comprehensive formal analysis on 5G-AKA protocol as specified by The Third Generation Partnership Project (3GPP) standard. Using ProVerif a security protocol verification tool, we perform a full systematic evaluation of the 5G-AKA protocol based on the latest 5G specifications. We present security assumptions and properties that assists on the analysis based on two taxonomies, we find out that some important security properties are not achieved, and related work ignored some crucial protocol flaws. Finally, we make some recommendations to address the issues found by our security analysis
Digital forensics investigation jurisprudence: issues of admissibility of digital evidence
Get PDFDigital Forensics investigations represent the science and legal process of investigating cybercrimes and digital media or objects to gather evidence. The digital evidence must prove that it has been used to commit a crime or used to gain unauthorized access. Digital Forensics investigations jurisprudence is the theory and philosophy of the study of law and the principles upon which a law is based. For digital evidence to appear at court and be legally admissible, the evidence must be authentic, accurate, complete, and convincing to the jury. Presenting digital forensic evidence at court has proved to be challenging, due to factors such as inadequate chain of custody, not maintaining legal procedures and inadequate evidential integrity. Following legal procedures in evidence gathering at a digital crime scene is critical for admissibility and prosecution. However, inadequate evidence gathering and maintaining accuracy, authenticity, completeness has prevented many cases to be inadmissible at court. This paper aims to discuss digital forensics investigations jurisprudence and the issues of authentic, accurate, complete, and convincing evidence leading to inadmissibility at court. To achieve the applicability of the study, we highlight the legal and technical factors required to harmonize these issues and how it could be addressed. This paper does not follow any forensic investigations process. Rather, it discusses how digital evidence could be admissible irrespective of the process implemented. The observations and outcomes of these legal criteria will contribute to the improvement of the evolving nature of digital evidence gathering phases
At First Light
No full textRequiem in seven movements, using both secular and liturgical texts in English (including translated Hebrew) and Latin. Scored for double chorus a cappella and cello solo
Under one roof: living together and apart in an urban-supported housing scheme
Get PDFIn this paper we share a musical performance ethnography, titled Under One Roof, as an example of one approach to critical arts-based research. The piece stems from commissioned research which took the form of an ethnography of an urban supported housing scheme for people aged over 50 years of age. We discuss some tensions of conducting radical democratic performative work within a political climate characterised by the commodification of knowledge and marketisation of science. This context provides a backdrop to subsequent reflections around performing praxis through a critical political and cultural engagement. Specifically, we consider how Under One Roof challenges dominant stories about homelessness, poverty, discrimination, alcohol and substance misuse, marginalisation and ageing through privileging personal stories. We consider how students’ participation through readings of the script during lectures made it possible, in Giroux’s (2014, p. 46) terms, to “connect the practice of classroom teaching with important social problems.
Shifting sands and moving goal posts: communicating gender in sport
Get PDFThis chapter explores gender within spor
Reflections on a journey into the unknown
No full textThis was an invited blog post regrading collaborations in researc
From the back of the car to the kitchen table: shifting identities, pirates, and tales that provoke transition
Get PDFIn this second instalment of Cowboys & Pirates, my performance continues to explore how identities are shaped, constrained or expanded. My staring place is a song called “Stories from the kitchen table”; where and what, I wonder, has shaped the narrative arc of this song? Where are my narrative moorings? Through other stories I have learned about, been told or have created I revisit the way counter-narratives emerge such that they provide a means to break out (or through) dominant gendered, class and racial narrative templates that we might otherwise be entombed within
Capturing student satisfaction: a case study on the National Student Survey results to identify the needs of students in STEM related courses for a better learning experience
Get PDFThe UK higher education has been one of the top destinations for international students over the last few decades, and it is beneficial to the UK local and national economy. However, recent changes of the governmental policies on the way UK universities are funded and the recession that still affects economies around the world have left many universities around the UK at financial survival risk. With relatively limited access to reduced research funds, student recruitment has a vital importance for most universities. It has been well established in the literature that academic reputation and the level of services have the most significant impact on national and international students. Thus, universities, to maintain their market share, must spend much energy and resources to improve the level of services offered to their students. The recently introduced National Student Survey (NSS) has become one of the most important metrics to assess student satisfaction that influences directly the university league tables and the Teaching Excellence Framework (TEF), which in turn effects international and national student recruitment. It is not surprising that underpinning student satisfaction has become the major target of UK universities. Therefore, a research investigation has been carried out to identify the most influential factors that comprise to the decision of overall satisfaction for the students studying Science, Technology, Engineering and Mathematics (STEM) subjects. On this purpose, a detailed statistical analysis was carried out on the NSS results and it was concluded that there is strong evidence, that “teaching” and “organisation and management” are the vital influential factors on the overall satisfaction of students
Cardiovascular disease: the universal slayer
Get PDFThis voracious killer is strengthened by particular lifestyle choices – can you escape its morbid embrace