Analysis of Object-Specific Authorization Protocol (OSAP) using coloured Petri nets

The use of Trusted Platform Module (TPM) is be- coming increasingly popular in many security sys- tems. To access objects protected by TPM (such as cryptographic keys), several cryptographic proto- cols, such as the Object Specific Authorization Pro- tocol (OSAP), can be used. Given the sensitivity and the importance of those objects protected by TPM, the security of this protocol is vital. Formal meth- ods allow a precise and complete analysis of crypto- graphic protocols such that their security properties can be asserted with high assurance. Unfortunately, formal verification of these protocols are limited, de- spite the abundance of formal tools that one can use. In this paper, we demonstrate the use of Coloured Petri Nets (CPN) - a type of formal technique, to formally model the OSAP. Using this model, we then verify the authentication property of this protocol us- ing the state space analysis technique. The results of analysis demonstrates that as reported by Chen and Ryan the authentication property of OSAP can be violated.

Meal induced thermogenesis and appetite : methodological issues and responses to energy restriction

Diet Induced Thermogenesis (DIT) is the energy expended consequent to meal consumption, and reflects the energy required for the processing and digestion of food consumed throughout each day. Although DIT is the total energy expended across a day in digestive processes to a number of meals, most studies measure thermogenesis in response to a single meal (Meal Induced Thermogenesis: MIT) as a representation of an individual’s thermogenic response to acute food ingestion. As a component of energy expenditure, DIT may have a contributing role in weight gain and weight loss. While the evidence is inconsistent, research has tended to reveal a suppressed MIT response in obese compared to lean individuals, which identifies individuals with an efficient storage of food energy, hence a greater tendency for weight gain. Appetite is another factor regulating body weight through its influence on energy intake. Preliminary research has shown a potential link between MIT and postprandial appetite as both are responses to food ingestion and have a similar response dependent upon the macronutrient content of food. There is a growing interest in understanding how both MIT and appetite are modified with changes in diet, activity levels and body size. However, the findings from MIT research have been highly inconsistent, potentially due to the vastly divergent protocols used for its measurement. Therefore, the main theme of this thesis was firstly, to address some of the methodological issues associated with measuring MIT. Additionally this thesis aimed to measure postprandial appetite simultaneously to MIT to test for any relationships between these meal-induced variables and to assess changes that occur in MIT and postprandial appetite during periods of energy restriction (ER) and following weight loss. Two separate studies were conducted to achieve these aims. Based on the increasing prevalence of obesity, it is important to develop accurate methodologies for measuring the components potentially contributing to its development and to understand the variability within these variables. Therefore, the aim of Study One was to establish a protocol for measuring the thermogenic response to a single test meal (MIT), as a representation of DIT across a day. This was done by determining the reproducibility of MIT with a continuous measurement protocol and determining the effect of measurement duration. The benefit of a fixed resting metabolic rate (RMR), which is a single measure of RMR used to calculate each subsequent measure of MIT, compared to separate baseline RMRs, which are separate measures of RMR measured immediately prior to each MIT test meal to calculate each measure of MIT, was also assessed to determine the method with greater reproducibility. Subsidiary aims were to measure postprandial appetite simultaneously to MIT, to determine its reproducibility between days and to assess potential relationships between these two variables. Ten healthy individuals (5 males, 5 females, age = 30.2 ± 7.6 years, BMI = 22.3 ± 1.9 kg/m2, %Fat Mass = 27.6 ± 5.9%) undertook three testing sessions within a 1-4 week time period. During the first visit, participants had their body composition measured using DXA for descriptive purposes, then had an initial 30-minute measure of RMR to familiarise them with the testing and to be used as a fixed baseline for calculating MIT. During the second and third testing sessions, MIT was measured. Measures of RMR and MIT were undertaken using a metabolic cart with a ventilated hood to measure energy expenditure via indirect calorimetry with participants in a semi-reclined position. The procedure on each MIT test day was: 1) a baseline RMR measured for 30 minutes, 2) a 15-minute break in the measure to consume a standard 576 kcal breakfast (54.3% CHO, 14.3% PRO, 31.4% FAT), comprising muesli, milk toast, butter, jam and juice, and 3) six hours of measuring MIT with two, ten-minute breaks at 3 and 4.5 hours for participants to visit the bathroom. On the MIT test days, pre and post breakfast then at 45-minute intervals, participants rated their subjective appetite, alertness and comfort on visual analogue scales (VAS). Prior to each test, participants were required to be fasted for 12 hours, and have undertaken no high intensity physical activity for the previous 48 hours. Despite no significant group changes in the MIT response between days, individual variability was high with an average between-day CV of 33%, which was not significantly improved by the use of a fixed RMR to 31%. The 95% limits of agreements which ranged from 9.9% of energy intake (%EI) to -10.7%EI with the baseline RMRs and between 9.6%EI to -12.4%EI with the fixed RMR, indicated very large changes relative to the size of the average MIT response (MIT 1: 8.4%EI, 13.3%EI; MIT 2: 8.8%EI, 14.7%EI; baseline and fixed RMRs respectively). After just three hours, the between-day CV with the baseline RMR was 26%, which may indicate an enhanced MIT reproducibility with shorter measurement durations. On average, 76, 89, and 96% of the six-hour MIT response was completed within three, four and five hours, respectively. Strong correlations were found between MIT at each of these time points and the total six-hour MIT (range for correlations r = 0.990 to 0.998; P < 0.01). The reproducibility of the proportion of the six-hour MIT completed at 3, 4 and 5 hours was reproducible (between-day CVs ≤ 8.5%). This indicated the suitability to use shorter durations on repeated occasions and a similar percent of the total response to be completed. There was a lack of strong evidence of any relationship between the magnitude of the MIT response and subjective postprandial appetite. Given a six-hour protocol places a considerable burden on participants, these results suggests that a post-meal measurement period of only three hours is sufficient to produce valid information on the metabolic response to a meal. However while there was no mean change in MIT between test days, individual variability was large. Further research is required to better understand which factors best explain the between-day variability in this physiological measure. With such a high prevalence of obesity, dieting has become a necessity to reduce body weight. However, during periods of ER, metabolic and appetite adaptations can occur which may impede weight loss. Understanding how metabolic and appetite factors change during ER and weight loss is important for designing optimal weight loss protocols. The purpose of Study Two was to measure the changes in the MIT response and subjective postprandial appetite during either continuous (CONT) or intermittent (INT) ER and following post diet energy balance (post-diet EB). Thirty-six obese male participants were randomly assigned to either the CONT (Age = 38.6 ± 7.0 years, weight = 109.8 ± 9.2 kg, % fat mass = 38.2 ± 5.2%) or INT diet groups (Age = 39.1 ± 9.1 years, weight = 107.1 ± 12.5 kg, % fat mass = 39.6 ± 6.8%). The study was divided into three phases: a four-week baseline (BL) phase where participants were provided with a diet to maintain body weight, an ER phase lasting either 16 (CONT) or 30 (INT) weeks, where participants were provided with a diet which supplied 67% of their energy balance requirements to induce weight loss and an eight-week post-diet EB phase, providing a diet to maintain body weight post weight loss. The INT ER phase was delivered as eight, two-week blocks of ER interspersed with two-week blocks designed to achieve weight maintenance. Energy requirements for each phase were predicted based on measured RMR, and adjusted throughout the study to account for changes in RMR. All participants completed MIT and appetite tests during BL and the ER phase. Nine CONT and 15 INT participants completed the post-diet EB MIT and 14 INT and 15 CONT participants completed the post-diet EB appetite tests. The MIT test day protocol was as follows: 1) a baseline RMR measured for 30 minutes, 2) a 15-minute break in the measure to consume a standard breakfast meal (874 kcal, 53.3% CHO, 14.5% PRO, 32.2% FAT), and 3) three hours of measuring MIT. MIT was calculated as the energy expenditure above the pre-meal RMR. Appetite test days were undertaken on a separate day using the same 576 kcal breakfast used in Study One. VAS were used to assess appetite pre and post breakfast, at one hour post breakfast then a further three times at 45-minute intervals. Appetite ratings were calculated for hunger and fullness as both the intra-meal change in appetite and the AUC. The three-hour MIT response at BL, ER and post-diet EB respectively were 5.4 ± 1.4%EI, 5.1 ± 1.3%EI and 5.0 ± 0.8%EI for the CONT group and 4.4 ± 1.0%EI, 4.7 ± 1.0%EI and 4.8 ± 0.8%EI for the INT group. Compared to BL, neither group had significant changes in their MIT response during ER or post-diet EB. There were no significant time by group interactions (p = 0.17) indicating a similar response to ER and post-diet EB in both groups. Contrary to what was hypothesised, there was a significant increase in postprandial AUC fullness in response to ER in both groups (p < 0.05). However, there were no significant changes in any of the other postprandial hunger or fullness variables. Despite no changes in MIT in both the CONT or INT group in response to ER or post-diet EB and only a minor increase in postprandial AUC fullness, the individual changes in MIT and postprandial appetite in response to ER were large. However those with the greatest MIT changes did not have the greatest changes in postprandial appetite. This study shows that postprandial appetite and MIT are unlikely to be altered during ER and are unlikely to hinder weight loss. Additionally, there were no changes in MIT in response to weight loss, indicating that body weight did not influence the magnitude of the MIT response. There were large individual changes in both variables, however further research is required to determine whether these changes were real compensatory changes to ER or simply between-day variation. Overall, the results of this thesis add to the current literature by showing the large variability of continuous MIT measurements, which make it difficult to compare MIT between groups and in response to diet interventions. This thesis was able to provide evidence to suggest that shorter measures may provide equally valid information about the total MIT response and can therefore be utilised in future research in order to reduce the burden of long measurements durations. This thesis indicates that MIT and postprandial subjective appetite are most likely independent of each other. This thesis also shows that, on average, energy restriction was not associated with compensatory changes in MIT and postprandial appetite that would have impeded weight loss. However, the large inter-individual variability supports the need to examine individual responses in more detail.

Malnutrition in the elderly : a narrative review

The focus of nutrition is often on healthy diets and exercise to minimise the risk of developing lifestyle diseases such as cancer, diabetes and cardiovascular disease. However, during the shift into older years often the nutrition priorities change towards meeting increased nutrient needs with less energy requirements and minimising lean muscle loss. There are several causes of general malnutrition in the elderly that lead to depletion of muscle including starvation (protein-energy malnutrition), sarcopenia and cachexia. The prevalence of protein-energy malnutrition increases with age and the number of comorbidities. A range of simple and validated screening tools can be used to identify malnutrition in older adults e.g. MST, MNA-SF and ‘MUST’. Older adults should be screened for nutritional issues at diagnosis, on admission to hospitals or care homes and during follow up at outpatient or General Practitioner clinics, at regular intervals depending on clinical status. Early identification and treatment of nutrition problems can lead to improved outcomes and better quality of life.

Marked association of a RFLP for the low density lipoprotein receptor gene with obesity in essential hypertensives

RFLPs at the low density lipoprotein receptor locus (LDLR) display marked linkage disequilibrium between each other. Cross-sectional analysis of a bi-alleleic ApaLI RFLP of LDLR showed that the 9.4- and 6.6-kb alleles were present in similar frequency between a group of 84 Caucasian essential hypertensive (HT) and a group of 96 normotensive subjects whose parents each had a similar blood pressure status at age > or = 50. After subdividing HTs into lean and obese, however, the frequency of the 6.6-kb allele in the 27 HTs with BMI > or = 26 kg/m2 was 0.63, compared with 0.39 for HTs with BMI < 26 (chi 2 = 8.8; P = 0.004). The difference in genotype frequencies was even more striking (chi 2 = 23; P = 0.00008), with a virtual absence of 9.4-kb homozygotes in the obese HT group (1 vs 22). Genetic variation at LDLR (19p13.2) is thus associated with obesity in HT.

Cross-sectional study of a microsatellite marker in the low densitity lipoprotein receptor gene in obese normotensives

1. The low density lipoprotein receptor is an important regulator of serum cholesterol which may have implications for the development of both hypertension and obesity. In this study, genotypes for a low density lipoprotein receptor gene (LDLR) dinucleotide polymorphism were determined in both lean and obese normotensive populations. 2. In previous cross-sectional association studies an ApaLI and a HincII polymorphism for LDLR were shown to be associated with obesity in essential hypertensives. However, these polymorphisms did not show an association with obesity in normotensives. 3. In contrast, this study reports that preliminary results for an LDLR microsatellite marker, located more towards the 3' end of the gene, show a significant association with obesity in the normotensive population studied. These results indicate that LDLR could play an important role in the development of obesity, which might be independent of hypertension.

A linkage and cross-sectional study of hypertension and obesity using a poly(A) Alu-repeat polymorphism at the glucagon receptor gene locus (17q25)

1. Previous glucagon receptor gene (GCGR) studies have shown a Gly40Ser mutation to be more prevalent in essential hypertension and to affect glucagon binding affinity to its receptor. An Alu-repeat poly(A) polymorphism colocalized to GCGR was used in the present study to test for association and linkage in hypertension as well as association in obesity development. 2. Using a cross-sectional approach, 85 hypertensives and 95 normotensives were genotyped using polymerase chain reaction primers flanking the Alu-repeat. Both hypertensive and normotensive populations were subdivided into lean and obese categories based on body mass index (BMI) to determine involvement of this variant in obesity. For the linkage study, 89 Australian Caucasian hypertension affected sibships (174 sibpairs) were genotyped and the results were analysed using GENE-HUNTER, Mapmaker Sibs, ERPA and SPLINK (all freely available from http://linlkage.rockefeller. edu/soft/list.html). 3. Cross-sectional results for both hypertension and obesity were analysed using Chi-squared and Monte Carlo analyses. Results did not show an association of this variant with either hypertension (χ2 = 6.9, P = 0.14; Monte Carlo χ2 = 7.0, P = 0.11; n = 5000) or obesity (χ2 = 3.3, P = 0.35; Monte Carlo χ2 = 3.26, P = 0.34; n = 5000). In addition, results from the linkage study using hypertensive sib-pairs did not indicate linkage of the poly(A) repent with hypertension. Hence, results did not indicate a role far the Alu-repeat in either hypertension or obesity. However, as the heterozygosity of this poly(A) repeat is low (35%), a larger number of hypertensive sib-pairs may be required to draw definitive conclusions.

Association of a low density lipoprotein receptor microsatellite variant with obesity

OBJECTIVE To determine whether a microsatellite polymorphism located towards the 3' end of the low density lipoprotein receptor gene (LDLR) is associated with obesity. DESIGN A cross-sectional case-control study. SUBJECTS One hundred and seven obese individuals, defined as a body mass index (BMI) ≤ 26 kg/m2, and 163 lean individuals, defined as a BMI < 26 kg/m2. MEASUREMENTS BMI, blood pressure, serum lipids, alleles of LDLR microsatellite (106 bp, 108 bp and 112 bp). RESULTS There was a significant association between variants of the LDLR microsatellite and obesity, in the overall tested population, due to a contributing effect in females (χ2 = 12.3, P = 0.002), but not in males (χ2 = 0.3, P = 0.87). In females, individuals with the 106 bp allele were more likely to be lean, while individuals with the 112 bp and/or 108 bp alleles tended to be obese. CONCLUSIONS These results suggest that in females, LDLR may play a role in the development of obesity.

Association of HincII RFLP of low density lipoprotein receptor gene with obesity in essential hypertensives

Obese (BMI ≥ 26 kg/m 2; n = 51) and lean (BMI <26 kg/m 2; n = 61) Caucasian patients with severe, familial essential hypertension, were compared with respect to genotype and allele frequencies of a HincII RFLP of the low density lipoprotein receptor gene (LDLR). A similar analysis was performed in obese (n = 28) and lean (n = 68) normotensives. A significant association of the C allele of the T→C variant responsible for this RFLP was seen with obesity (χ 2 = 4.6, P = 0.029) in the hypertensive, but not in the normotensive, group (odds ratio = 3.0 for the CC genotype and 2.7 for CT). Furthermore, BMI tracked with genotypes of this allele in the hypertensives (P = 0.046). No significant genotypic relationship was apparent for plasma lipids. Significant linkage disequilibrium was, moreover, noted between the HincII RFLP and an ApaLI RFLP (χ 2 = 33, P<0.0005) that has previously shown even stronger association with obesity (odds ratio 19.6 for cases homozygous for the susceptibility allele and 15.2 for het-erozygotes). The present study therefore adds to our previous evidence implicating LDLR as a locus for obesity in patients with essential hypertension.

Diurnal rhythm and effects of feeding, exercise and recombinant equine growth hormone on serum insulin concentrations in the horse

Reasons for performing the study As growth hormone increases lean body mass, it could be a therapy for obese horses. However, growth hormone use induces hyperinsulinaemia in some species, so further investigation is warranted. Objectives To investigate the effects of feeding, exercise and growth hormone therapy on basal insulin concentrations in healthy horses. Study design In vivo experimental study. Methods Blood samples were obtained every 30 min from 12 geldings over 24 h, to establish basal serum insulin concentrations, before they underwent a 3-week exercise programme. Horses were allocated into 2 groups and exercised for another 4 weeks. Group A received daily i.m. injections of recombinant equine growth hormone; 5 mg/day for 5 days, then 12.5 mg/day for 16 days. Blood samples were taken daily before feeding. Insulin vs. time area under curve of Groups A and B were compared using a Student's unpaired t test. Results Horses demonstrated insulin peaks within 2 h of feeding of 577 ± 108.3 pmol/l at 09.30 h and 342.4 ± 75.7 pmol/l at 17.30 h, despite receiving the same meal. The nadir was between midnight and 07.30 h. Exercise had no effect on basal insulin concentrations prior to equine growth hormone administrations. The equine growth hormone injections increased serum insulin concentrations (P = 0.01) within Group A, from 44.4 ± 15.3 pmol/l initially to 320.9 ± 238.2 pmol/l by Day 12. Exogenous growth hormone caused variable hyperinsulinaemia, which was alleviated once equine growth hormone administration ceased. Conclusions Single serum samples taken prior to the morning meal provide basal insulin concentrations. Exercise did not change basal insulin concentrations. However, equine growth hormone injections increased basal insulin concentrations, which were not ameliorated by exercise. Potential relevance This therapy is not recommended to address obesity in insulin-resistant equids.

'Sarcobesity' : a metabolic conundrum

Two independent but inter-related conditions that have a growing impact on healthy life expectancy and health care costs in developed nations are an age-related loss of muscle mass (i.e., sarcopenia) and obesity. Sarcopenia is commonly exacerbated in overweight and obese individuals. Progression towards obesity promotes an increase in fat mass and a concomitant decrease in muscle mass, producing an unfavourable ratio of fat to muscle. The coexistence of diminished muscle mass and increased fat mass (so-called 'sarcobesity') is ultimately manifested by impaired mobility and/or development of life-style-related diseases. Accordingly, the critical health issue for a large proportion of adults in developed nations is how to lose fat mass while preserving muscle mass. Lifestyle interventions to prevent or treat sarcobesity include energy-restricted diets and exercise. The optimal energy deficit to reduce body mass is controversial. While energy restriction in isolation is an effective short-term strategy for rapid and substantial weight loss, it results in a reduction of both fat and muscle mass and therefore ultimately predisposes one to an unfavourable body composition. Aerobic exercise promotes beneficial changes in whole-body metabolism and reduces fat mass, while resistance exercise preserves lean (muscle) mass. Current evidence strongly supports the inclusion of resistance and aerobic exercise to complement mild energy-restricted high-protein diets for healthy weight loss as a primary intervention for sarcobesity.

Associations of body mass index and waist circumference with: energy intake and percentage energy from macronutrients, in a cohort of Australian children

Background It is evident from previous research that the role of dietary composition in relation to the development of childhood obesity remains inconclusive. Several studies investigating the relationship between body mass index (BMI), waist circumference (WC) and/or skin fold measurements with energy intake have suggested that the macronutrient composition of the diet (protein, carbohydrate, fat) may play an important contributing role to obesity in childhood as it does in adults. This study investigated the possible relationship between BMI and WC with energy intake and percentage energy intake from macronutrients in Australian children and adolescents. Methods Height, weight and WC measurements, along with 24 h food and drink records (FDR) intake data were collected from 2460 boys and girls aged 5-17 years living in the state of Queensland, Australia. Results Statistically significant, yet weak correlations between BMI z-score and WC with total energy intake were observed in grades 1, 5 and 10, with only 55% of subjects having a physiologically plausible 24 hr FDR. Using Pearson correlations to examine the relationship between BMI and WC with energy intake and percentage macronutrient intake, no significant correlations were observed between BMI z-score or WC and percentage energy intake from protein, carbohydrate or fat. One way ANOVAs showed that although those with a higher BMI z-score or WC consumed significantly more energy than their lean counterparts. Conclusion No evidence of an association between percentage macronutrient intake and BMI or WC was found. Evidently, more robust longitudinal studies are needed to elucidate the relationship linking obesity and dietary intake.

Weibo, framing, and media practices in China

This study uses frames analysis to investigate online discourses and processes of political deliberation on China’s weibo (microblog) service. It offers a comparative analysis of competing discourses surrounding the case of Wang Yue, a toddler who was ran over by two motor vehicles in Foshan, following which eighteen people passed by and ignored her plight. The study aims to understand how weibo facilitate its users to express their differences and deliberate disagreements with each other. The study found that Internet users are rational in the sense that they do not simply lean towards a dichotomised choice of ‘pro-’ or ‘anti-’ official discourse, but they are able to negotiate their moral choices by considering a wide range of social and political factors in such an emotional and morally controversial incident.

Diabetes, hyperinsulinemia, and hyperlipidemia in small aboriginal community in northern Australia

A small rural Aboriginal community in northern Australia was surveyed for diabetes, impaired glucose tolerance (IGT), hyperinsulinemia, and lipid levels. Of the 122 adults >17 yr of age who participated (95% response rate), 11.5% had diabetes, 7.4% had IGT, and the remaining 81.1% had normal glucose tolerance. Both diabetes and IGT were strongly age related. This high frequency of diabetes occurred, despite the population being relatively lean. Although the body mass index (BMI) increased with age in both men and women, only 25% of the population overall had BMI >25 kg/m2. There were wide ranges of insulin responses to glucose, with the upper fertile of 2-h insulin levels being more than seven times higher than the lower fertile (144 ± 13 vs. 19 ± 1 mLI/L). Hyperinsulinemia was associated with IGT, elevated triglycerides, and lower high-density lipoprotein cholesterol levels. Lipid abnormalities were much more frequent among men than women. Cholesterol levels were an average of 0.55 mM higher and triglycerides an average of 1.05 mM higher in men than in women, and both increased with age. In conclusion, this small isolated Aboriginal population from northern Australia had an unexpectedly high frequency of diabetes (in view of their relative leanness) in association with a high frequency of metabolic abnormalities indicative of insulin resistance (hyperinsulinemia, IGT, hypertriglyceridemia).

Fiction as a form of change : a paper overview of a literature panel discussion

It is well established that literary work can promote insights that result in future change, whether on a personal or an institutional level. As Umberto Eco (1989) notes, the act of reading does not stop with the artist but continues into the work of communities. The papers delivered in this panel consider the regenerative role of literature within culture, arguing that the special properties of literature can convey an important sense of nature (Bateson 1973, Zapf 2008). These concepts are discussed in relation to writing about Australian flora and fauna. Using an ecocritical focus based on ideas about the relationship between literature and the environment the paper considers Australian works and the way in which literature enlivens this complex intersection between humans, animals and the environment. This engagement is investigated through three modes: the philosophical, the literary, and the practical. The novels discussed include Alexis Wright’s Carpentaria, Richard Flanagan’s Wanting, and Sonya Hartnett’s Forest, as well as a range of fictional and non-fictional works that describe the Blue Mountains region in New South Wales. The paper closes with a discussion of the role of story-telling as a way of introducing the public to specific environmental locations and issues.

Appetite, satiety, and food reward in obese individuals : a behavioral phenotype approach

Why do some people remain lean while others are susceptible to obesity, and why do obese individuals vary in their successes in losing weight? Despite physiological processes that promote satiety and satiation, some individuals are more susceptible to overeating. While the phenomena of susceptibility to weight gain, resistance to treatment or weight loss, and individual variability are not novel, they have yet to be exploited and systematically examined to better understand how to characterise phenotypes of obesity. The identification and characterisation of distinct phenotypes not only highlight the heterogeneous nature of obesity but may also help to inform the development of more tailored strategies for the treatment and prevention of obesity. This review examines the evidence for different susceptible phenotypes of obesity that are characterised by risk factors associated with the hedonic and homeostatic systems of appetite control.