title: Submission on New Zealand’s written statement to the second session of the UN Cybercrime Treaty negotiations

authors: Dizon, Michael

abstract: The author, a law academic, generally supports New Zealand's written statement to the UN Cybercrime Treaty negotiations. The proposed criminalization provisions are deemed reasonable and well-founded. The focus on striving for consensus and universal acceptance is essential, given the inherently multijurisdictional nature of cybercrime. The recommendation is to concentrate on core cybercrimes like illegal access, illegal interception, data interference, system interference, and misuse of devices to achieve greater consensus. Specific suggestions include incorporating criminal intent requirements in illegal access and interception to avoid impacting legitimate activities. The presentation advocates addressing emerging cyber threats like ransomware attacks and supports criminalizing the online sexual exploitation of children. However, it suggests leaving revenge porn matters to general criminal law as it may not directly relate to information security. The statement appropriately excludes criminal provisions for intellectual property rights violations, leaving them to established international and national intellectual property laws. The author recommends considering cyber-specific elements of money laundering involving cryptocurrencies in the context of cybercrime laws. Finally, it emphasizes the importance of a comprehensive definition for "access information" that includes codes, passwords, encryption keys, and related data for inclusion in the proposed treaty.

text: Submission on New Zealand’s written statement to the second session of the UN Cybercrime Treaty negotiations The author, a law academic, generally supports New Zealand's written statement to the UN Cybercrime Treaty negotiations. The proposed criminalization provisions are deemed reasonable and well-founded. The focus on striving for consensus and universal acceptance is essential, given the inherently multijurisdictional nature of cybercrime. The recommendation is to concentrate on core cybercrimes like illegal access, illegal interception, data interference, system interference, and misuse of devices to achieve greater consensus. Specific suggestions include incorporating criminal intent requirements in illegal access and interception to avoid impacting legitimate activities. The presentation advocates addressing emerging cyber threats like ransomware attacks and supports criminalizing the online sexual exploitation of children. However, it suggests leaving revenge porn matters to general criminal law as it may not directly relate to information security. The statement appropriately excludes criminal provisions for intellectual property rights violations, leaving them to established international and national intellectual property laws. The author recommends considering cyber-specific elements of money laundering involving cryptocurrencies in the context of cybercrime laws. Finally, it emphasizes the importance of a comprehensive definition for "access information" that includes codes, passwords, encryption keys, and related data for inclusion in the proposed treaty.

year: 2022-05-19

title: Compositional nonblocking verificationusing generalised nonblocking abstractions

authors: Malik, Robi

subjects: computer science

abstract: This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering and simplifying individual subsystems before they are composed further. Simplification is done using a set of abstraction rules preserving generalized nonblocking equivalence, which are shown to be correct and computationally feasible. Experimental results demonstrate the suitability of the method to verify several large-scale discrete event systems models both for standard and generalized nonblocking.

text: Compositional nonblocking verificationusing generalised nonblocking abstractions This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering and simplifying individual subsystems before they are composed further. Simplification is done using a set of abstraction rules preserving generalized nonblocking equivalence, which are shown to be correct and computationally feasible. Experimental results demonstrate the suitability of the method to verify several large-scale discrete event systems models both for standard and generalized nonblocking.

year: 2013

title: Te Mata Ira—Faces of the Gene: Developing a cultural foundation for biobanking and genomic research involving Māori

authors: Hudson, Maui

abstract: Te Mata Ira was a three-year research project (2012–2015) that explored Māori views on genomic research and biobanking for the development of culturally appropriate guidelines. A key component of this process has been to identify Māori concepts that provide cultural reference points for engaging with biobanking and genomic research. These cultural cues provide the basis for describing the cultural logic that underpins engagement in this context in a culturally acceptable manner. This paper outlines the role of two wānanga (workshops) conducted as part of the larger project that were used to make sense of the Māori concepts that emerged from other data-collection activities. The wānanga involved six experts who worked with the research team to make sense of the Māori concepts. The wānanga process created the logic behind the cultural foundation for biobanking and genomic research, providing a basis for understanding Māori concepts, Māori ethical principles and their application to biobanking and genomic research.

text: Te Mata Ira—Faces of the Gene: Developing a cultural foundation for biobanking and genomic research involving Māori Te Mata Ira was a three-year research project (2012–2015) that explored Māori views on genomic research and biobanking for the development of culturally appropriate guidelines. A key component of this process has been to identify Māori concepts that provide cultural reference points for engaging with biobanking and genomic research. These cultural cues provide the basis for describing the cultural logic that underpins engagement in this context in a culturally acceptable manner. This paper outlines the role of two wānanga (workshops) conducted as part of the larger project that were used to make sense of the Māori concepts that emerged from other data-collection activities. The wānanga involved six experts who worked with the research team to make sense of the Māori concepts. The wānanga process created the logic behind the cultural foundation for biobanking and genomic research, providing a basis for understanding Māori concepts, Māori ethical principles and their application to biobanking and genomic research.

year: 2016