Modeling and Verification of Privacy Enhancing Protocols

Privacy enhancing protocols (PEPs) are a family of protocols that allow secure exchange and management of sensitive user information. They are important in preserving users’ privacy in today’s open environment. Proof of the correctness of PEPs is necessary before they can be deployed. However, the traditional provable security approach, though well established for verifying cryptographic primitives, is not applicable to PEPs. We apply the formal method of Coloured Petri Nets (CPNs) to construct an executable specification of a representative PEP, namely the Private Information Escrow Bound to Multiple Conditions Protocol (PIEMCP). Formal semantics of the CPN specification allow us to reason about various security properties of PIEMCP using state space analysis techniques. This investigation provides us with preliminary insights for modeling and verification of PEPs in general, demonstrating the benefit of applying the CPN-based formal approach to proving the correctness of PEPs.

Desafios Para A Implementação Do Processo De Projeto Colaborativo: Análise Do Fator Humano

The ineffectiveness of current design processes has been well studied and has resulted in widespread calls for the evolution and development of new management processes. Perhaps one problem is that with the advent of BIM we are moving from one stage to another without necessarily having resolved all the issues. CAD design technology, if well handled, could have significantly raised the level of quality and efficiency of current processes, but in practice this was not fully realized. Therefore, technology alone can´t solve all the problems and the advent of BIM could result in a similar bottleneck. For a precise definition of the problem to be solved we should start by understanding what are the main current bottlenecks that have yet to be overcome by either new technologies or management processes, and the impact of human behavior related issues despite the advent of new technologies. The fragmented and dispersed nature of the AEC sector and the huge number of small organizations that comprise it would probably be a major limiting factor. Several authors have addressed this issue and more recently IDDS has been defined as the highest level of achievement. However, what is written on IDDS shows an extremely ideal situation on a state to be achieved; it shows a holistic utopian proposition with the intent to create the research agenda to move towards that state. Key to IDDS is the framing of a new management model which should address the problems associated with key aspects: technology, processes, policies and people. One of the primary areas to be further studied is the process of collaborative work and understanding, together with the development of proposals to overcome the many cultural barriers that currently exist and impede the advance of new management methods. The purpose of this paper is to define and delimit problems to be solved so that it is possible to implement a new management model for a collaborative design process.

Anti-proliferative and cytotoxic activity of pentadactylin isolated from Leptodactylus labyrinthicus on melanoma cells

Nowadays, the emergence of resistance to the current available chemotherapeutic drugs by cancer cells makes the development of new agents imperative. The skin secretion of amphibians is a natural rich source of antimicrobial peptides (AMP), and researchers have shown that some of these wide spectrum molecules are also toxic to cancer cells. The aim of this study was to verify a putative anticancer activity of the AMP pentadactylin isolated for the first time from the skin secretion of the frog Leptodactylus labyrinthicus and also to study its cytotoxic mechanism to the murine melanoma cell line B16F10. The results have shown that pentadactylin reduces the cell viability of B16F10 cells in a dose-dependent manner. It was also cytotoxic to normal human fibroblast cells; nevertheless, pentadactylin was more potent in the first case. The studies of action mechanism revealed that pentadactylin causes cell morphology alterations (e.g., round shape and shrinkage morphology), membrane disruption, DNA fragmentation, cell cycle arrest at the S phase, and alteration of mitochondrial membrane potential, suggesting that B16F10 cells die by apoptosis. The exact mechanism that causes reduction of cell viability and cytotoxicity after treatment with pentadactylin is still unknown. In conclusion, as cancer cells become resilient to death, it is worthwhile the discovery of new drugs such as pentadactylin that induces apoptosis.

The crude skin secretion of the pepper frog leptodactylus labyrinthicus is rich in metallo and serine peptidases

Peptidases are ubiquitous enzymes involved in diverse biological processes. Fragments from bioactive peptides have been found in skin secretions from frogs, and their presence suggests processing by peptidases. Thus, the aim of this work was to characterize the peptidase activity present in the skin secretion of Leptodactylus labyrinthicus. Zymography revealed the presence of three bands of gelatinase activity of approximately 60 kDa, 66 kDa, and 80 kDa, which the first two were calcium-dependent. These three bands were inhibited either by ethylenediaminetetraacetic acid (EDTA) and phenathroline; thus, they were characterized as metallopeptidases. Furthermore, the proteolytic enzymes identified were active only at pH 6.0–10.0, and their activity increased in the presence of CHAPS or NaCl. Experiments with fluorogenic substrates incubated with skin secretions identified aminopeptidase activity, with cleavage after leucine, proline, and alanine residues. This activity was directly proportional to the protein concentration, and it was inhibited in the presence of metallo and serine peptidase inhibitors. Besides, the optimal pH for substrate cleavage was determined to be 7.0–8.0. The results of the in gel activity assay showed that all substrates were hydrolyzed by a 45 kDa peptidase. Gly-Pro-AMC was also cleaved by a peptidase greater than 97 kDa. The data suggest the presence of dipeptidyl peptidases (DPPs) and metallopeptidases; however, further research is necessary. In conclusion, our work will help to elucidate the implication of these enzymatic activities in the processing of the bioactive peptides present in frog venom, expanding the knowledge of amphibian biology.

Leaving family behind: Understanding the irregular migration of unaccompanied asylum-seeking minors - A qualitative study

This qualitative study investigated the drivers and determinants of irregular maritime migration among 17 protection visa holders who arrived in Australia as unaccompanied asylum-seeking minors. Semi-structured interviews were also conducted with eight non-government service providers working with unaccompanied minors in the Greater Brisbane area.

Unpredictability, invisibility and vulnerability: Unaccompanied asylum-seeking minors’ journeys to Australia

This qualitative study investigated the refugee journey of 17 males who arrived in Australia as unaccompanied asylum-seeking minors between 2009 and 2013, and were granted protection visas. The paper focuses on the four conceptual challenges of refugee journeys, as identified recently by BenEzer and Zetter: temporal characteristics; drivers and destinations; the process/content of the journey; and the characteristics of the wayfarers. The findings indicate that their mental journey has not yet ended and transcends the physical departure-arrival voyage. Although the primary drivers for the refugee journey were protection reasons, their desire to find a “better life” free from violence and exclusion also played an important role. The irregular character of the journey made it highly unpredictable, exposed these minors to extreme levels of vulnerability and the need to remain invisible, prompted short lived friendships with other asylum seekers, and created a pervasive feeling of mistrust towards smugglers and other people they met along the way. The study has highlighted the need for interventions to protect unaccompanied minors during their refugee journey.

Genome-wide association and genetic functional studies identify autism susceptibility candidate 2 gene (AUTS2) in the regulation of alcohol consumption

Alcohol consumption is a moderately heritable trait, but the genetic basis in humans is largely unknown, despite its clinical and societal importance. We report a genome-wide association study meta-analysis of approximately 2.5 million directly genotyped or imputed SNPs with alcohol consumption (gram per day per kilogram body weight) among 12 population-based samples of European ancestry, comprising 26,316 individuals, with replication genotyping in an additional 21,185 individuals. SNP rs6943555 in autism susceptibility candidate 2 gene (AUTS2) was associated with alcohol consumption at genome-wide significance (P = 4 x 10(-8) to P = 4 x 10(-9)). We found a genotype-specific expression of AUTS2 in 96 human prefrontal cortex samples (P = 0.026) and significant (P < 0.017) differences in expression of AUTS2 in whole-brain extracts of mice selected for differences in voluntary alcohol consumption. Down-regulation of an AUTS2 homolog caused reduced alcohol sensitivity in Drosophila (P < 0.001). Our finding of a regulator of alcohol consumption adds knowledge to our understanding of genetic mechanisms influencing alcohol drinking behavior.

Association analyses of 249,796 individuals reveal 18 new loci associated with body mass index

Obesity is globally prevalent and highly heritable, but its underlying genetic factors remain largely elusive. To identify genetic loci for obesity susceptibility, we examined associations between body mass index and approximately 2.8 million SNPs in up to 123,865 individuals with targeted follow up of 42 SNPs in up to 125,931 additional individuals. We confirmed 14 known obesity susceptibility loci and identified 18 new loci associated with body mass index (P < 5 x 10(-)(8)), one of which includes a copy number variant near GPRC5B. Some loci (at MC4R, POMC, SH2B1 and BDNF) map near key hypothalamic regulators of energy balance, and one of these loci is near GIPR, an incretin receptor. Furthermore, genes in other newly associated loci may provide new insights into human body weight regulation.

Meta-analysis identifies 13 new loci associated with waist-hip ratio and reveals sexual dimorphism in the genetic basis of fat distribution

Waist-hip ratio (WHR) is a measure of body fat distribution and a predictor of metabolic consequences independent of overall adiposity. WHR is heritable, but few genetic variants influencing this trait have been identified. We conducted a meta-analysis of 32 genome-wide association studies for WHR adjusted for body mass index (comprising up to 77,167 participants), following up 16 loci in an additional 29 studies (comprising up to 113,636 subjects). We identified 13 new loci in or near RSPO3, VEGFA, TBX15-WARS2, NFE2L3, GRB14, DNM3-PIGC, ITPR2-SSPN, LY86, HOXC13, ADAMTS9, ZNRF3-KREMEN1, NISCH-STAB1 and CPEB4 (P = 1.9 × 10−9 to P = 1.8 × 10−40) and the known signal at LYPLAL1. Seven of these loci exhibited marked sexual dimorphism, all with a stronger effect on WHR in women than men (P for sex difference = 1.9 × 10−3 to P = 1.2 × 10−13). These findings provide evidence for multiple loci that modulate body fat distribution independent of overall adiposity and reveal strong gene-by-sex interactions.

Feasibility of a stepped wedge cluster RCT and concurrent observational sub-study to evaluate the effects of modified ward night lighting on inpatient fall rates and sleep quality: A protocol for a pilot trial

Background: Falls among hospitalised patients impose a considerable burden on health systems globally and prevention is a priority. Some patient-level interventions have been effective in reducing falls, but others have not. An alternative and promising approach to reducing inpatient falls is through the modification of the hospital physical environment and the night lighting of hospital wards is a leading candidate for investigation. In this pilot trial, we will determine the feasibility of conducting a main trial to evaluate the effects of modified night lighting on inpatient ward level fall rates. We will test also the feasibility of collecting novel forms of patient level data through a concurrent observational sub-study. Methods/design: A stepped wedge, cluster randomised controlled trial will be conducted in six inpatient wards over 14 months in a metropolitan teaching hospital in Brisbane (Australia). The intervention will consist of supplementary night lighting installed across all patient rooms within study wards. The planned placement of luminaires, configurations and spectral characteristics are based on prior published research and pre-trial testing and modification. We will collect data on rates of falls on study wards (falls per 1000 patient days), the proportion of patients who fall once or more, and average length of stay. We will recruit two patients per ward per month to a concurrent observational sub-study aimed at understanding potential impacts on a range of patient sleep and mobility behaviour. The effect on the environment will be monitored with sensors to detect variation in light levels and night-time room activity. We will also collect data on possible patient-level confounders including demographics, pre-admission sleep quality, reported vision, hearing impairment and functional status. Discussion: This pragmatic pilot trial will assess the feasibility of conducting a main trial to investigate the effects of modified night lighting on inpatient fall rates using several new methods previously untested in the context of environmental modifications and patient safety. Pilot data collected through both parts of the trial will be utilised to inform sample size calculations, trial design and final data collection methods for a subsequent main trial.