title: Partial Order Reduction with Compositional Verification

authors: Shaw, Adrian Mark

subjects: Partial order reduction

abstract: This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts. In the first part we introduce two new ample conditions that utilise strongly connected components in place of two existing ample conditions that use cycles. We use these new conditions to optimise existing partial order reduction verifiers and extend them to verify nonblocking properties. We also introduce two selection strategies for choosing ample event sets and an improved ample algorithm in order to improve the efficiency of ample set computation, and investigate how the various combinations of these suggested algorithmic improvements effect several models of varying size. The second part of the thesis introduces the concept of using partial order reduction techniques in combination with compositional verification techniques. We introduce a modified version of the silent continuation rule that makes use of the independence relationship from partial order reduction methods and include algorithms by which they may be implemented in a model verifier. All of the original concepts developed in this thesis are also proven correct.

text: Partial Order Reduction with Compositional Verification This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts. In the first part we introduce two new ample conditions that utilise strongly connected components in place of two existing ample conditions that use cycles. We use these new conditions to optimise existing partial order reduction verifiers and extend them to verify nonblocking properties. We also introduce two selection strategies for choosing ample event sets and an improved ample algorithm in order to improve the efficiency of ample set computation, and investigate how the various combinations of these suggested algorithmic improvements effect several models of varying size. The second part of the thesis introduces the concept of using partial order reduction techniques in combination with compositional verification techniques. We introduce a modified version of the silent continuation rule that makes use of the independence relationship from partial order reduction methods and include algorithms by which they may be implemented in a model verifier. All of the original concepts developed in this thesis are also proven correct.

year: 2014

title: A socio-legal analysis of the conceptions of privacy and information security in relation to the laws of encryption

authors: Dizon, Michael

abstract: Due to the growing collection of users’ personal data by companies, confirmed incidences of mass surveillance by government agencies, and increasing occurrence of large-scale data breaches, people today are rightly concerned about their privacy and the security of their data and the information and communications technologies they use on a daily basis. Faced with these multiplying cyberthreats and risks, ordinary users and citizens have come to rely on both law and technology for protection, particularly encryption as a technical remedy. The problem though is that the law and encryption offer protection in diverse ways. Moreover, people’s understanding of the relevant laws and how they actually safeguard privacy and information security is not sufficiently grounded in the legal and socio-technical contexts. Using New Zealand users, developers and regulators as subjects, this paper will discuss what their varying conceptions or notions of privacy and information security are in relation to encryption and compare these with the applicable laws. This paper will explain why the most pertinent laws are not the oft-cited privacy and data protection laws but are those that concern law enforcement and criminal procedure. This paper argues that the rights of the accused and other rules involving criminal investigations and proceedings are germane to the issue of privacy and security in a digital and connected society.

text: A socio-legal analysis of the conceptions of privacy and information security in relation to the laws of encryption Due to the growing collection of users’ personal data by companies, confirmed incidences of mass surveillance by government agencies, and increasing occurrence of large-scale data breaches, people today are rightly concerned about their privacy and the security of their data and the information and communications technologies they use on a daily basis. Faced with these multiplying cyberthreats and risks, ordinary users and citizens have come to rely on both law and technology for protection, particularly encryption as a technical remedy. The problem though is that the law and encryption offer protection in diverse ways. Moreover, people’s understanding of the relevant laws and how they actually safeguard privacy and information security is not sufficiently grounded in the legal and socio-technical contexts. Using New Zealand users, developers and regulators as subjects, this paper will discuss what their varying conceptions or notions of privacy and information security are in relation to encryption and compare these with the applicable laws. This paper will explain why the most pertinent laws are not the oft-cited privacy and data protection laws but are those that concern law enforcement and criminal procedure. This paper argues that the rights of the accused and other rules involving criminal investigations and proceedings are germane to the issue of privacy and security in a digital and connected society.

year: 2021

title: Kāinga tahi, kāinga rua: A kaupapa Māori response of Te Puea Memorial Marae.

authors: Lee-Morgan, Jenny Bol Jun

abstract: In the winter of 2016, Te Puea Memorial Marae (TPMM) initiated a kaupapa Māori marae-led response, opening their doors to vulnerable whānau seeking emergency housing. Following in the legacy of Te Puea Herangi,¹ the marae answered the call of homeless whānau in Auckland and in doing so disrupted the dominant Auckland housing narrative where the government had until that time refused to acknowledge homelessness as a serious issue. In the full view of the media, TPMM not only made the reality of homelessness visible by caring for 181 people (of all ethnicities and cultural backgrounds), but named the housing situation in Auckland as a ‘crisis’. ²

text: Kāinga tahi, kāinga rua: A kaupapa Māori response of Te Puea Memorial Marae. In the winter of 2016, Te Puea Memorial Marae (TPMM) initiated a kaupapa Māori marae-led response, opening their doors to vulnerable whānau seeking emergency housing. Following in the legacy of Te Puea Herangi,¹ the marae answered the call of homeless whānau in Auckland and in doing so disrupted the dominant Auckland housing narrative where the government had until that time refused to acknowledge homelessness as a serious issue. In the full view of the media, TPMM not only made the reality of homelessness visible by caring for 181 people (of all ethnicities and cultural backgrounds), but named the housing situation in Auckland as a ‘crisis’. ²

year: 2017