title: The critical role of technical and social principles and values in encryption regulation

authors: Dizon, Michael

abstract: Encryption is a complex and enigmatic technology that poses significant challenges to regulators. While encryption is crucial to preserving the security and privacy of information and communications, it can also be used for illegal purposes and means and impede criminal investigations. Governments around the world have been proposing various ways to regulate this technology since the widespread presence and use of computers and the internet in the 1990s. Legislators have unsurprisingly taken a very law-centred approach to regulating encryption. They assume that the enactment of laws can definitively solve the problems brought about by new or disruptive technologies such as encryption. This regulatory mindset is encapsulated in a statement made by former Austrian Prime Minister Turnbull about how law trumps the underlying mathematics of encryption. He said, “The laws of Australia prevail in Australia, I can assure you of that. The laws of mathematics are very commendable, but the only law that applies in Australia is the law of Australia”. The issue with this exceedingly narrow and one-sided view of the relationship between law and technology is that it neglects to take into account important non-legal factors and considerations that are necessary in order to properly deal with encryption or any technology for that matter. Focusing solely on the laws and legal aspects of encryption without sufficient recognition of its technical and social contexts and conditions can result in the adoption of laws that are either ineffectual or unacceptable to the relevant stakeholders or society as a whole. This presentation will discuss the attendant technical and social principles and values of encryption that must be considered when seeking to develop appropriate laws and policies. Through the examination of the often overlooked technical and social dimensions of encryption, this presentation can provide key insights into how to better regulate encryption and technology more generally.

text: The critical role of technical and social principles and values in encryption regulation Encryption is a complex and enigmatic technology that poses significant challenges to regulators. While encryption is crucial to preserving the security and privacy of information and communications, it can also be used for illegal purposes and means and impede criminal investigations. Governments around the world have been proposing various ways to regulate this technology since the widespread presence and use of computers and the internet in the 1990s. Legislators have unsurprisingly taken a very law-centred approach to regulating encryption. They assume that the enactment of laws can definitively solve the problems brought about by new or disruptive technologies such as encryption. This regulatory mindset is encapsulated in a statement made by former Austrian Prime Minister Turnbull about how law trumps the underlying mathematics of encryption. He said, “The laws of Australia prevail in Australia, I can assure you of that. The laws of mathematics are very commendable, but the only law that applies in Australia is the law of Australia”. The issue with this exceedingly narrow and one-sided view of the relationship between law and technology is that it neglects to take into account important non-legal factors and considerations that are necessary in order to properly deal with encryption or any technology for that matter. Focusing solely on the laws and legal aspects of encryption without sufficient recognition of its technical and social contexts and conditions can result in the adoption of laws that are either ineffectual or unacceptable to the relevant stakeholders or society as a whole. This presentation will discuss the attendant technical and social principles and values of encryption that must be considered when seeking to develop appropriate laws and policies. Through the examination of the often overlooked technical and social dimensions of encryption, this presentation can provide key insights into how to better regulate encryption and technology more generally.

year: 2021-07-21

title: Model checking for cloud autoscaling using WATERS

authors: van Zijl, Martin

subjects: cloud computing

abstract: This thesis investigates the use of formal methods to verify cloud system designs against Service Level Agreements (SLAs), towards providing guarantees under uncertainty. We used WATERS (the Waikato Analysis Toolkit for Events in Reactive Systems), which is a model-checking tool based on discrete event systems. We created models for one aspect of cloud computing, horizontal autoscaling, and used this to verify cloud system designs against an SLA that specifies the maximum request response time.

To evaluate the accuracy of the WATERS models, the cloud system designs are simulated on a private Kubernetes cluster, using JMeter to drive the workload. The results from Kubernetes are compared to the verification results from WATERS. A key research goal was to have these match as closely as possible, and to explain the discrepancies between the two. This process is followed for two applications: a default installation of NGINX, a web server with a fast but variable response time, and a hand-written Node.js program enforcing a fixed response time.

The results suggest that WATERS can be used to predict potential SLA violations. Lessons learned include that the state space must be constrained to avoid excessive checking times, and we provide a method for doing so. An advantage of our model checking-based technique is that it verifies against all possible patterns of arriving requests (up to a given maximum), which would be impractical to test with a load testing tool such as JMeter.

A key difference from existing work is our use non-probabilistic finite state machines, as opposed to probabilistic models which are prevalent in existing research. In addition, we have attempted to model the detail of the autoscaling process (a “white-box” approach), whereas much existing research attempts to find patterns between autoscaling parameters and SLA violation, effectively viewing autoscaling as a black-box process.

Future work includes refining the WATERS models to more closely match Kubernetes, and modelling other SLO types. Other methods may also be used to limit the compilation and verification time for the models. This includes attempting different algorithms and perhaps editing the models to reduce the state space.

text: Model checking for cloud autoscaling using WATERS This thesis investigates the use of formal methods to verify cloud system designs against Service Level Agreements (SLAs), towards providing guarantees under uncertainty. We used WATERS (the Waikato Analysis Toolkit for Events in Reactive Systems), which is a model-checking tool based on discrete event systems. We created models for one aspect of cloud computing, horizontal autoscaling, and used this to verify cloud system designs against an SLA that specifies the maximum request response time.

To evaluate the accuracy of the WATERS models, the cloud system designs are simulated on a private Kubernetes cluster, using JMeter to drive the workload. The results from Kubernetes are compared to the verification results from WATERS. A key research goal was to have these match as closely as possible, and to explain the discrepancies between the two. This process is followed for two applications: a default installation of NGINX, a web server with a fast but variable response time, and a hand-written Node.js program enforcing a fixed response time.

The results suggest that WATERS can be used to predict potential SLA violations. Lessons learned include that the state space must be constrained to avoid excessive checking times, and we provide a method for doing so. An advantage of our model checking-based technique is that it verifies against all possible patterns of arriving requests (up to a given maximum), which would be impractical to test with a load testing tool such as JMeter.

A key difference from existing work is our use non-probabilistic finite state machines, as opposed to probabilistic models which are prevalent in existing research. In addition, we have attempted to model the detail of the autoscaling process (a “white-box” approach), whereas much existing research attempts to find patterns between autoscaling parameters and SLA violation, effectively viewing autoscaling as a black-box process.

Future work includes refining the WATERS models to more closely match Kubernetes, and modelling other SLO types. Other methods may also be used to limit the compilation and verification time for the models. This includes attempting different algorithms and perhaps editing the models to reduce the state space.

year: 2020

title: Comparative fish abundance in the shallow Waikato lakes Whangape and Hakanoa

authors: Hicks, Brendan J.

abstract: The Waikato-Tainui College for Research and Development contracted the University of Waikato to conduct boat electrofishing estimates of the fish abundance in lakes Whangape and Hakanoa; both are shallow, riverine lakes in the lower Waikato River floodplain and are about 2,000 years old. Lake Whangape (latitude 37.46853°S, longitude 175.05120°W) is a large (1,450 ha), shallow (maximum depth 2.7 m) lake to the west of the Waikato River; Lake Hakanoa (latitude 37.55258°S, longitude 175.16859°W) is a 52-ha lake in suburban Huntly with a maximum depth of 2.5 m.
We fished 10 sites for 10 mins in both lakes Whangape and Lake Hakanoa; sites fished were 253-609 m long (1,012-2,436 m² in area) in Lake Whangape and 125-276 m long (500-1,104 m² in area) in Lake Hakanoa.
No submerged aquatic macrophytes were seen in either lake. Fishing was conducted close to the water's edge in Lake Hakanoa, but the shallow margins in Lake Whangape restricted fishing at most sites to 30-70 m from the shoreline. The shoreline was much more accessible in Lake Hakanoa, and was dominated by raupo (Typha orientalis) with willows (Salix spp.) in places. Submerged tree trunks and logs in Lake Hakanoa made navigation difficult in parts of the lake margins.
We caught a total of 118 fish in Lake Whangape, where shortfin eels (Anguilla australis) were the most abundant fish, and 594 fish in Lake Hakanoa, where gambusia (Gambusia affinis) the most abundant species. In Lake Whangape, shortfin eels comprised the greatest total biomass (12.4 kg), with koi carp (Cyprinus carpio) almost equally abundant (11.4 kg). In Lake Hakanoa, koi carp were most abundant (74.4 kg), followed by shortfin eels (22.1 kg).
Fish were unevenly spread among sites in Lake Whangape and koi carp were relatively sparsely among sites. In Lake Hakanoa, in contrast, fish were more evenly spread among sites, but with higher concentrations of catfish (Ameiurus nebulosus) and goldfish (Carassius auratus) at a few sites. Biomass of fish caught in each of the ten 10-min fishing shots reflected the numerical distributions, with some wide variations between sites. Fish densities were generally lower in Lake Whangape than in Lake Hakanoa; however, common smelt (Retropinna retropinna) and grey mullet (Mugil cephalus) occurred in Whangape but not in Hakanoa. Areal fish biomass was dominated by shortfin eels and koi carp in Lake Whangape, but koi carp dominated the fish biomass in Lake Hakanoa, despite the smaller number of carp than eels. This was because of the large mean weight of koi carp (about 1,000 g) compared to the smaller shortfin eels (mean weight about 200 g in both lakes).

text: Comparative fish abundance in the shallow Waikato lakes Whangape and Hakanoa The Waikato-Tainui College for Research and Development contracted the University of Waikato to conduct boat electrofishing estimates of the fish abundance in lakes Whangape and Hakanoa; both are shallow, riverine lakes in the lower Waikato River floodplain and are about 2,000 years old. Lake Whangape (latitude 37.46853°S, longitude 175.05120°W) is a large (1,450 ha), shallow (maximum depth 2.7 m) lake to the west of the Waikato River; Lake Hakanoa (latitude 37.55258°S, longitude 175.16859°W) is a 52-ha lake in suburban Huntly with a maximum depth of 2.5 m.
We fished 10 sites for 10 mins in both lakes Whangape and Lake Hakanoa; sites fished were 253-609 m long (1,012-2,436 m² in area) in Lake Whangape and 125-276 m long (500-1,104 m² in area) in Lake Hakanoa.
No submerged aquatic macrophytes were seen in either lake. Fishing was conducted close to the water's edge in Lake Hakanoa, but the shallow margins in Lake Whangape restricted fishing at most sites to 30-70 m from the shoreline. The shoreline was much more accessible in Lake Hakanoa, and was dominated by raupo (Typha orientalis) with willows (Salix spp.) in places. Submerged tree trunks and logs in Lake Hakanoa made navigation difficult in parts of the lake margins.
We caught a total of 118 fish in Lake Whangape, where shortfin eels (Anguilla australis) were the most abundant fish, and 594 fish in Lake Hakanoa, where gambusia (Gambusia affinis) the most abundant species. In Lake Whangape, shortfin eels comprised the greatest total biomass (12.4 kg), with koi carp (Cyprinus carpio) almost equally abundant (11.4 kg). In Lake Hakanoa, koi carp were most abundant (74.4 kg), followed by shortfin eels (22.1 kg).
Fish were unevenly spread among sites in Lake Whangape and koi carp were relatively sparsely among sites. In Lake Hakanoa, in contrast, fish were more evenly spread among sites, but with higher concentrations of catfish (Ameiurus nebulosus) and goldfish (Carassius auratus) at a few sites. Biomass of fish caught in each of the ten 10-min fishing shots reflected the numerical distributions, with some wide variations between sites. Fish densities were generally lower in Lake Whangape than in Lake Hakanoa; however, common smelt (Retropinna retropinna) and grey mullet (Mugil cephalus) occurred in Whangape but not in Hakanoa. Areal fish biomass was dominated by shortfin eels and koi carp in Lake Whangape, but koi carp dominated the fish biomass in Lake Hakanoa, despite the smaller number of carp than eels. This was because of the large mean weight of koi carp (about 1,000 g) compared to the smaller shortfin eels (mean weight about 200 g in both lakes).

year: 2016