Privacy Architectures: Reasoning About Data Minimisation and Integrity

Privacy by design will become a legal obligation in the European Community if the Data Protection Regulation eventually gets adopted. However, taking into account privacy requirements in the design of a system is a challenging task. We propose an approach based on the specification of privacy architectures and focus on a key aspect of privacy, data minimisation, and its tension with integrity requirements. We illustrate our formal framework through a smart metering case study.Comment: appears in STM - 10th International Workshop on Security and Trust Management 8743 (2014

Electrically induced tunable cohesion in granular systems

Experimental observations of confined granular materials in the presence of an electric field that induces cohesive forces are reported. The angle of repose is found to increase with the cohesive force. A theoretical model for the stability of a granular heap, including both the effect of the sidewalls and cohesion is proposed. A good agreement between this model and the experimental results is found. The steady-state flow angle is practically unaffected by the electric field except for high field strengths and low flow rates.Comment: accepted for publication in "Journal of Statistical Mechanics: Theory and Experiment

Numerical simulation of strongly nonlinear and dispersive waves using a Green-Naghdi model

We investigate here the ability of a Green-Naghdi model to reproduce strongly nonlinear and dispersive wave propagation. We test in particular the behavior of the new hybrid finite-volume and finite-difference splitting approach recently developed by the authors and collaborators on the challenging benchmark of waves propagating over a submerged bar. Such a configuration requires a model with very good dispersive properties, because of the high-order harmonics generated by topography-induced nonlinear interactions. We thus depart from the aforementioned work and choose to use a new Green-Naghdi system with improved frequency dispersion characteristics. The absence of dry areas also allows us to improve the treatment of the hyperbolic part of the equations. This leads to very satisfying results for the demanding benchmarks under consideration

Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static components defined prior to system deployment, i.e., the architecture of the coordinated system is fixed in terms of its component instances. Nevertheless, modern systems, often make use of components that can register and deregister dynamically during system execution. In this paper, we present an extension of JavaBIP that can handle this type of dynamicity. We use first-order interaction logic to define synchronization constraints based on component types. Additionally, we use directed graphs with edge coloring to model dependencies among components that determine the validity of an online system. We present the software architecture of our implementation, provide and discuss performance evaluation results.Comment: Technical report that accompanies the paper accepted at the 14th International Conference on Formal Aspects of Component Softwar

Privacy by Design: From Technologies to Architectures (Position Paper)

Existing work on privacy by design mostly focus on technologies rather than methodologies and on components rather than architectures. In this paper, we advocate the idea that privacy by design should also be addressed at the architectural level and be associated with suitable methodologies. Among other benefits, architectural descriptions enable a more systematic exploration of the design space. In addition, because privacy is intrinsically a complex notion that can be in tension with other requirements, we believe that formal methods should play a key role in this area. After presenting our position, we provide some hints on how our approach can turn into practice based on ongoing work on a privacy by design environment

Pollen, biomarker and stable isotope evidence of late Quaternary environmental change at Lake McKenzie, southeast Queensland

Unravelling links between climate change and vegetation response during the Quaternary is important if the climate–environment interactions of modern systems are to be fully understood. Using a sediment core from Lake McKenzie, Fraser Island, we reconstruct changes in the lake ecosystem and surrounding vegetation over the last ca. 36.9 cal kyr. Evidence is drawn from multiple sources, including pollen, micro-charcoal, biomarker and stable isotope (C and N) analyses, and is used to gain a better understanding of the nature and timing of past ecological changes that have occurred at the site. The glacial period of the record, from ca. 36.9 to 18.3 cal kyr BP, is characterised by an increased abundance of plants of the aquatic and littoral zone, indicating lower lake water levels. High abundance of biomarkers and microfossils of the colonial green alga Botryococcus occurred at this time and included large variation in individual botryococcene d13C values. A slowing or ceasing of sediment accumulation occurred during the time period from ca. 18.3 to 14.0 cal kyr BP. By around 14.0 cal kyr BP fire activity in the area was reduced, as was abundance of littoral plants and terrestrial herbs, suggesting wetter conditions from that time. The Lake McKenzie pollen record conforms to existing records from Fraser Island by containing evidence of a period of reduced effective precipitation that commenced in the mid-Holocene

Molecular Tools for Monitoring the Ecological Sustainability of a Stone Bio-Consolidation Treatment at the Royal Chapel, Granada

Background: Biomineralization processes have recently been applied in situ to protect and consolidate decayed ornamental stone of the Royal Chapel in Granada (Spain). While this promising method has demonstrated its efficacy regarding strengthening of the stone, little is known about its ecological sustainability.Methodology/Principal Findings: Here, we report molecular monitoring of the stone-autochthonous microbiota before and at 5, 12 and 30 months after the bio-consolidation treatment (medium/long-term monitoring), employing the well-known molecular strategy of DGGE analyses. Before the bio-consolidation treatment, the bacterial diversity showed the exclusive dominance of Actinobacteria (100%), which decreased in the community (44.2%) after 5 months, and Gamma-proteobacteria (30.24%) and Chloroflexi (25.56%) appeared. After 12 months, Gamma-proteobacteria vanished from the community and Cyanobacteria (22.1%) appeared and remained dominant after thirty months, when the microbiota consisted of Actinobacteria (42.2%) and Cyanobacteria (57.8%) only. Fungal diversity showed that the Ascomycota phylum was dominant before treatment (100%), while, after five months, Basidiomycota (6.38%) appeared on the stone, and vanished again after twelve months. Thirty months after the treatment, the fungal population started to stabilize and Ascomycota dominated on the stone (83.33%) once again. Members of green algae (Chlorophyta, Viridiplantae) appeared on the stone at 5, 12 and 30 months after the treatment and accounted for 4.25%, 84.77% and 16.77%, respectively.Conclusions: The results clearly show that, although a temporary shift in the bacterial and fungal diversity was observed during the first five months, most probably promoted by the application of the bio-consolidation treatment, the microbiota tends to regain its initial stability in a few months. Thus, the treatment does not seem to have any negative side effects on the stone-autochthonous microbiota over that time. The molecular strategy employed here is suggested as an efficient monitoring tool to assess the impact on the stone-autochthonous microbiota of the application of biomineralization processes as a restoration/conservation procedure.This work was supported by the European Regional Development Fund (ERDF), Junta de Andalucía (Spain) and the “Fortalecimiento de la I+D+i” program from the University of Granada, co-financed by grant RNM-3493 and Research Group BIO-103 from Junta de Andalucía, as well as by the Spanish Government through “José Castillejo” program from the “Ministerio de Educación, Cultura y Deporte” (I+D+i 2008-2011), and by the Austrian Science Fund (FWF) under Grant “Elise-Richter V194-B20”

The ability of genetically lean or fat slow-growing chickens to synthesize and store lipids is not altered by the dietary energy source

The increasing use of unconventional feedstuffs in chicken's diets results in the substitution of starch by lipids as the main dietary energy source. To evaluate the responses of genetically fat or lean chickens to these diets, males of two experimental lines divergently selected for abdominal fat content were fed isocaloric, isonitrogenous diets with either high lipid (80 g/kg), high fiber (64 g/kg) contents (HL), or low lipid (20 g/kg), low fiber (21 g/kg) contents (LL) from 22 to 63 days of age. The diet had no effect on growth performance and did not affect body composition evaluated at 63 days of age. Glycolytic and oxidative energy metabolisms in the liver and glycogen storage in liver and Sartorius muscle at 63 days of age were greater in chicken fed LL diet compared with chicken fed HL diet. In Pectoralis major (PM) muscle, energy metabolisms and glycogen content were not different between diets. There were no dietary-associated differences in lipid contents of the liver, muscles and abdominal fat. However, the percentages of saturated (SFA) and monounsaturated fatty acids (MUFA) in tissue lipids were generally higher, whereas percentages of polyunsaturated fatty acids (PUFA) were lower for diet LL than for diet HL. The fat line had a greater feed intake and average daily gain, but gain to feed ratio was lower in that line compared with the lean line. Fat chickens were heavier than lean chickens at 63 days of age. Their carcass fatness was higher and their muscle yield was lower than those of lean chickens. The oxidative enzyme activities in the liver were lower in the fat line than in the lean line, but line did not affect energy metabolism in muscles. The hepatic glycogen content was not different between lines, whereas glycogen content and glycolytic potential were higher in the PM muscle of fat chickens compared with lean chickens. Lipid contents in the liver, muscles and abdominal fat did not differ between lines, but fat chickens stored less MUFA and more PUFA in abdominal fat and muscles than lean chickens. Except for the fatty acid composition of liver and abdominal fat, no interaction between line and diet was observed. In conclusion, the amount of lipids stored in muscles and fatty tissues by lean or fat chickens did not depend on the dietary energy source