Security properties analysis in a TPM-based protocol

Security protocols are designed in order to provide security properties (goals). They achieve their goals using cryptographic primitives such as key agreement or hash functions. Security analysis tools are used in order to verify whether a security protocol achieves its goals or not. The analysed property by specific purpose tools are predefined properties such as secrecy (confidentiality), authentication or non-repudiation. There are security goals that are defined by the user in systems with security requirements. Analysis of these properties is possible with general purpose analysis tools such as coloured petri nets (CPN). This research analyses two security properties that are defined in a protocol that is based on trusted platform module (TPM). The analysed protocol is proposed by Delaune to use TPM capabilities and secrets in order to open only one secret from two submitted secrets to a recipient

A strong lightweight authentication protocol for low-cost RFID systems

RFID is an important technology that can be used to create the ubiquitous society. But an RFID system uses open radio frequency signal to transfer information and this leads to pose many serious threats to its privacy and security. In general, the computing and storage resources in an RFID tag are very limited and this makes it difficult to solve its secure and private problems, especially for low-cost RFID tags. In order to ensure the security and privacy of low-cost RFID systems we propose a lightweight authentication protocol based on Hash function. This protocol can ensure forward security and prevent information leakage, location tracing, eavesdropping, replay attack and spoofing. This protocol completes the strong authentication of the reader to the tag by twice authenticating and it only transfers part information of the encrypted tag’s identifier for each session so it is difficult for an adversary to intercept the whole identifier of a tag. This protocol is simple and it takes less computing and storage resources, it is very suitable to some low-cost RFID systems.

Moments of flux in intermediary liability for copyright infringement

This chapter provides an overview of a recent shift in regulatory strategies to address copyright infringement toward enlisting the assistance of general purpose Internet Service Providers. In Australia, the High Court held in 2012 that iiNet, a general purpose ISP, had no legal duty to police what its subscribers did with their internet connections. We provide an overview of three recent developments in Australian copyright law since that decision that demonstrate an emerging shift in the way that obligations are imposed on ISPs to govern the actions of their users without relying on secondary liability. The first is a new privately negotiated industry code that introduces a 'graduated response' system that requires ISPs to pass on warnings to subscribers who receive allegations of infringement. The second involves a recent series of Federal Court cases where rightsholders made a partially successful application to require ISPs to hand over the identifying details of subscribers whose households are alleged to have infringed copyright. The third is a new legislative scheme that will require ISPs to block access to foreign websites that 'facilitate' infringement. We argue that these shifts represent a greater sophistication in approaches to enrolling general purpose intermediaries in the regulatory project. We also suggest that these shifts represent a potentially disturbing trend towards enforcement of copyright law in a way that does not provide strong safeguards for the legitimate constitutional due process interests of users. We conclude with a call for greater attention and research to better understand how intermediaries make decisions when governing the conduct of users, how those decisions may be influenced by both state and non-state actors, and how the rights of individuals to due process can be adequately protected.

Living arrangements and health

In line with major demographic changes in other Northern European and North American countries and Australia, being nonmarried is becoming increasingly common in Finland, and the proportion of cohabiters and of persons living alone has grown in recent decades. Official marital status no longer reflects an individual s living arrangement, as single, divorced and widowed persons may live alone, with a partner, with children, with parents, with siblings, or with unrelated persons. Thus, more than official marital status, living arrangements may be a stronger discriminator of one s social bonds and health. The general purpose of this study was to deepen our current understanding of the magnitude, trends, and determinants of ill health by living arrangements in the Finnish working-age population. Distinct measures of different dimensions of poor health, as well as an array of associated factors, provided a comprehensive picture of health differences by living arrangements and helped to assess the role of other factors in the interpretation of these differences . Mortality analyses were based on Finnish census records at the end of 1995 linked with cause-of-death registers for 1996 2000. The data included all persons aged 30 and over. Morbidity analyses were based on two comparable cross-sectional studies conducted twenty years apart (the Mini-Finland Survey in 1978 80 and the Health 2000 Survey in 2000 01). Both surveys were based on nationally representative samples of Finns aged 30 and over, and benefited from high participation rates. With the exception of mortality analyses, this study focused on health differences among the working-age population (mortality in age groups 30-64 and 65 and over, self-rated health and mental health in the age group 30-64, and unhealthy alcohol use in the age group 30-54). Compared with all nonmarried groups, married men and women exhibited the best health in terms of mortality, self-rated health, mental health and unhealthy alcohol use. Cohabiters did not differ from married persons in terms of self-rated health or mental health, but did exhibit excess unhealthy alcohol use and high mortality, particularly from alcohol-related causes. Compared with the married, persons living alone or with someone other than a partner exhibited elevated mortality as well as excess poor mental health and unhealthy alcohol use. By all measures of health, men and women living alone tended to be in the worst position. Over the past twenty years, SRH had improved least among single men and women and widowed women, and most among cohabiting women. The association between living arrangements and health has many possible explanations. The health-related selection theory suggests that healthy people are more likely to enter and maintain a marriage or a consensual union than those who are unhealthy (direct selection) or that a variety of health-damaging behavioural and social factors increase the likelihood of ill health and the probability of remaining without a partner or becoming separated from one s partner (indirect selection). According to the social causation theory, marriage or cohabitation has a health-promoting effect, whereas living alone or with others than a partner has a detrimental effect on health. In this study, the role of other factors that are mainly assumed to reflect selection, appeared to be rather modest. Social support, which reflects social causation, contributed only modestly to differences in unhealthy alcohol use by living arrangements, but had a larger effect on differences in poor mental health. Socioeconomic factors and health-related behaviour, which reflect both selection and causation, appeared to play a more important role in the excess poor health of cohabiters and of persons living alone or with someone other than a partner, than of married persons. Living arrangements were strongly connected to various dimensions of ill health. In particular, alcohol consumption appeared to be of great importance in the association between living arrangements and health. To the extent that the proportion of nonmarried persons continues to grow and their health does not improve at the same rate as that of married persons, the challenges that currently nonmarried persons pose to public health will likely increase.

Numerical studies on CFRP strengthened steel circular members under marine environment

The durability of carbon fibre reinforced polymer (CFRP) strengthened steel circular hollow section (CHS) members has now become a real challenge to researchers. In addition, various parameters that may affect the durability of such members have not been revealed yet. This paper presents brief experimental results and the first finite element (FE) approach of CFRP strengthened steel CHS beams conditioned in simulated sea water, along with an accelerated corrosion environment at ambient (24 OC ± 4 OC) and 50 OC temperatures. The beams were loaded to failure under four-point bending. It was found that the strength and stiffness reduced significantly after conditioning in an accelerated corrosion environment. Numerical simulation is implemented using the ABAQUS static general approach. A cohesive element was utilised to model the interface element and an 8-node quadrilateral in-plane general-purpose continuum shell was used to model CFRP elements. A mixed mode cohesive law was deployed for all the three components of stresses in the proposed FE approach, which were one normal component and two shear components. The validity of the FE models was ascertained by comparing the ultimate load and load vs deflection response from experimental results. A range of parametric studies were conducted to investigate the effects of bond length, adhesive types, thickness and diameter of tubes. The results of parametric studies indicated that the adhesive with high tensile modulus performed better and durability design factors varied from section to section.

Essays on Finnish Economic Growth and Productivity, 1860-2005

This study examines Finnish economic growth. The key driver of economic growth was productivity. And the major engine of productivity growth was technology, especially the general purpose technologies (GPTs) electricity and ICT. A new GPT builds on previous knowledge, yet often in an uncertain, punctuated, fashion. Economic history, as well as the Finnish data analyzed in this study, teaches that growth is not a smooth process but is subject to episodes of sharp acceleration and deceleration which are associated with the arrival, diffusion and exhaustion of new general purpose technologies. These are technologies that affect the whole economy by transforming both household life and the ways in which firms conduct business. The findings of previous research, that Finnish economic growth exhibited late industrialisation and significant structural changes were corroborated by this study. Yet, it was not solely a story of manufacturing and structural change was more the effect of than the cause for economic growth. We offered an empirical resolution to the Artto-Pohjola paradox as we showed that a high rate of return on capital was combined with low capital productivity growth. This result is important in understanding Finnish economic growth 1975-90. The main contribution of this thesis was the growth accounting results on the impact of ICT on growth and productivity, as well as the comparison of electricity and ICT. It was shown that ICT s contribution to GDP growth was almost twice as large as electricity s contribution over comparable periods of time. Finland has thus been far more successful as an ICT producer than a producer of electricity. Unfortunately in the use of ICT the results were still more modest than for electricity. During the end of the period considered in this thesis, Finland switched from resource-based to ICT-based growth. However, given the large dependency on the ICT-producing sector, the ongoing outsourcing of ICT production to low wage countries provides a threat to productivity performance in the future. For a developed country only change is constant and history teaches us that it is likely that Finland is obliged to reorganize its economy once again in the digital era.

Spectral Tuning and Adaptation to Different Light Environments of Mysid Visual Pigments

In the present thesis, questions of spectral tuning, the relation of spectral and thermal properties of visual pigments, and evolutionary adaptation to different light environments were addressed using a group of small crustaceans of the genus Mysis as a model. The study was based on microspectrophotometric measurements of visual pigment absorbance spectra, electrophysiological measurements of spectral sensitivities of dark-adapted eyes, and sequencing of the opsin gene retrieved through PCR. The spectral properties were related to the spectral transmission of the respective light environments, as well as to the phylogentic histories of the species. The photoactivation energy (Ea) was estimated from temperature effects on spectral sensitivity in the long-wavelength range, and calculations were made for optimal quantum catch and optimal signal-to-noise ratio in the different light environments. The opsin amino acid sequences of spectrally characterized individuals were compared to find candidate residues for spectral tuning. The general purpose was to clarify to what extent and on what time scale adaptive evolution has driven the functional properties of (mysid) visual pigments towards optimal performance in different light environments. An ultimate goal was to find the molecular mechanisms underlying the spectral tuning and to understand the balance between evolutionary adaptation and molecular constraints. The totally consistent segregation of absorption maxima (λmax) into (shorter-wavelength) marine and (longer-wavelength) freshwater populations suggests that truly adaptive evolution is involved in tuning the visual pigment for optimal performance, driven by selection for high absolute visual sensitivity. On the other hand, the similarity in λmax and opsin sequence between several populations of freshwater M. relicta in spectrally different lakes highlights the limits to adaptation set by evolutionary history and time. A strong inverse correlation between Ea and λmax was found among all visual pigments studied in these respects, including those of M. relicta and 10 species of vertebrate pigments, and this was used to infer thermal noise. The conceptual signal-to-noise ratios thus calculated for pigments with different λmax in the Baltic Sea and Lake Pääjärvi light environments supported the notion that spectral adaptation works towards maximizing the signal-to-noise ratio rather than quantum catch as such. Judged by the shape of absorbance spectra, the visual pigments of all populations of M. relicta and M. salemaai used exclusively the A2 chromophore (3, 4-dehydroretinal). A comparison of amino acid substitutions between M. relicta and M. salemaai indicated that mysid shrimps have a small number of readily available tuning sites to shift between a shorter - and a longer -wavelength opsin. However, phylogenetic history seems to have prevented marine M. relicta from converting back to the (presumably) ancestral opsin form, and thus the more recent reinvention of marine spectral sensitivity has been accomplished by some other novel mechanism, yet to be found

Software Pipelined Execution of Stream Programs on GPUs

The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multi-core architectures. This model allows programmers to specify the structure of a program as a set of filters that act upon data, and a set of communication channels between them. The StreamIt graphs describe task, data and pipeline parallelism which can be exploited on modern Graphics Processing Units (GPUs), as they support abundant parallelism in hardware. In this paper, we describe the challenges in mapping StreamIt to GPUs and propose an efficient technique to software pipeline the execution of stream programs on GPUs. We formulate this problem - both scheduling and assignment of filters to processors - as an efficient Integer Linear Program (ILP), which is then solved using ILP solvers. We also describe a novel buffer layout technique for GPUs which facilitates exploiting the high memory bandwidth available in GPUs. The proposed scheduling utilizes both the scalar units in GPU, to exploit data parallelism, and multiprocessors, to exploit task and pipelin parallelism. Further it takes into consideration the synchronization and bandwidth limitations of GPUs, and yields speedups between 1.87X and 36.83X over a single threaded CPU.

The usefulness of fair values in improving the predictive ability of earnings: Evidence from international banks

One of the objectives of general-purpose financial reporting is to provide information about the financial position, financial performance and cash flows of an entity that is useful to a wide range of users in making economic decisions. The current focus on potentially increased relevance of fair value accounting weighed against issues of reliability has failed to consider the potential impact on the predictive ability of accounting. Based on a sample of international (non-U.S.) banks from 24 countries during 2009-2012, we test the usefulness of fair values in improving the predictive ability of earnings. First, we find that the increasing use of fair values on balance-sheet financial instruments enhances the ability of current earnings to predict future earnings and cash flows. Second, we provide evidence that the fair value hierarchy classification choices affect the ability of earnings to predict future cash flows and future earnings. More precisely, we find that the non-discretionary fair value component (Level 1 assets) improves the predictability of current earnings whereas the discretionary fair value components (Level 2 and Level 3 assets) weaken the predictive power of earnings. Third, we find a consistent and strong association between factors reflecting country-wide institutional structures and predictive power of fair values based on discretionary measurement inputs (Level 2 and Level 3 assets and liabilities). Our study is timely and relevant. The findings have important implications for standard setters and contribute to the debate on the use of fair value accounting.

SiD Letter of Intent

Letter of intent describing SiD (Silicon Detector) for consideration by the International Linear Collider IDAG panel. This detector concept is founded on the use of silicon detectors for vertexing, tracking, and electromagnetic calorimetry. The detector has been cost-optimized as a general-purpose detector for a 500 GeV electron-positron linear collider.

SiD Letter of Intent

Letter of intent describing SiD (Silicon Detector) for consideration by the International Linear Collider IDAG panel. This detector concept is founded on the use of silicon detectors for vertexing, tracking, and electromagnetic calorimetry. The detector has been cost-optimized as a general-purpose detector for a 500 GeV electron-positron linear collider.

Essays on Platforms: Business Strategies, Regulation and Policy in Telecommunications, Media and Technology Industries

The growth of the information economy has been stellar in the last decade. General-purpose technologies such as the computer and the Internet have promoted productivity growth in a large number of industries. The effect on telecommunications, media and technology industries has been particularly strong. These industries include mobile telecommunications, printing and publishing, broadcasting, software, hardware and Internet services. There have been large structural changes, which have led to new questions on business strategies, regulation and policy. This thesis focuses on four such questions and answers them by extending the theoretical literature on platforms. The questions (with short answers) are: (i) Do we need to regulate how Internet service providers discriminate between content providers? (Yes.) (ii) What are the welfare effects of allowing consumers to pay to remove advertisements from advertisement-supported products?(Ambiguous, but those watching ads are worse off.) (iii) Why are some markets characterized by open platforms, extendable by third parties, and some by closed platforms, which are not extendable? (It is a trade-off between intensified competition for consumers and benefits from third parties) (iv) Do private platform providers allow third parties to access their platform when it is socially desirable? (No.)

A study of symbolic processing and computational aspects in helicopter dynamics

Even research models of helicopter dynamics often lead to a large number of equations of motion with periodic coefficients; and Floquet theory is a widely used mathematical tool for dynamic analysis. Presently, three approaches are used in generating the equations of motion. These are (1) general-purpose symbolic processors such as REDUCE and MACSYMA, (2) a special-purpose symbolic processor, DEHIM (Dynamic Equations for Helicopter Interpretive Models), and (3) completely numerical approaches. In this paper, comparative aspects of the first two purely algebraic approaches are studied by applying REDUCE and DEHIM to the same set of problems. These problems range from a linear model with one degree of freedom to a mildly non-linear multi-bladed rotor model with several degrees of freedom. Further, computational issues in applying Floquet theory are also studied, which refer to (1) the equilibrium solution for periodic forced response together with the transition matrix for perturbations about that response and (2) a small number of eigenvalues and eigenvectors of the unsymmetric transition matrix. The study showed the following: (1) compared to REDUCE, DEHIM is far more portable and economical, but it is also less user-friendly, particularly during learning phases; (2) the problems of finding the periodic response and eigenvalues are well conditioned.

Social and material deprivation among youth in Finland : causes, consequences, and coping.

Background: Social and material deprivation is associated with poor health, decreased subjective well-being, and limited opportunities for personal development. To date, little is known about the lived experiences of Finnish low-income youths and the general purpose of this study is to fill this gap. Despite the extensive research on socioeconomic income disparities, only a few scholars have addressed the question of how low socioeconomic position is experienced by disadvantaged people themselves. Little is known about the everyday social processes that lead to decreased well-being of economically and socially disadvantaged citizens. Data: The study is based on the data of 65 autobiographical essays written by Finnish low-income youths aged 14-29 (M=23.51, SD=3.95). The research data were originally collected in a Finnish nationwide writing contest “Arkipäivän kokemuksia köyhyydestä” [Everyday Experiences of Poverty] between June and September of 2006. The contest was partaken by 850 Finnish writers. Methods and key concepts: Autobiographical narratives (N=65) of low-income youths were analyzed based on grounded theory methodology (GTM). The analysis was not built on specific pre-conceived categorizations; it was guided by the paradigm model and so-called “sensitizing concepts”. The concepts this study utilized were based on the research literature on socioeconomic inequalities, resilience, and coping. Socioeconomic inequalities refer to unequal distribution of resources, such as income, social status, and health, between social groups. The concept of resilience refers to an individual’s capacity to cope despite existing risk factors and conditions that are harmful to health and well-being. Coping strategies can be understood as ways by which a person tries to cope with psychological stress in a situation where internal or externals demands exceed one’s resources. The ways to cope are cognitive or behavioral efforts by which individual tries to relieve the stress and gain new resources. Lack of material and social resources is associated with increased exposure to health-related stressors during the life-course. Aims: The first aim of this study is to illustrate how youths with low socioeconomic status perceive the causes and consequences of their social and material deprivation. The second aim is to describe what kind of coping strategies youths employ to cope in their everyday life. The third aim is to build an integrative conceptual framework based on the relationships between causes, consequences, and individual coping strategies associated with deprivation. The analysis was carried out through systematic coding and orderly treatment of the data based on the grounded theory methodology. Results: Finnish low-income youths attributed the primary causes of deprivation to their family background, current socioeconomic status, sudden life changes, and contextual factors. Material and social deprivation was associated with various kinds of negative psychological, social, and material consequences. Youths used a variety of coping strategies that were identified as psychological, social, material, and functional-behavioral. Finally, a conceptual framework was formulated to link the findings together. In the discussion, the results were compared and contrasted to the existing research literature. The main references of the study were: Coping: Aldwin (2007); Lazarus & Folkman (1984); Hobfoll (1989, 2001, 2002). Deprivation: Larivaara, Isola, & Mikkonen (2007); Lister (2004); Townsend (1987); Raphael (2007). Health inequalities: Dahlgren & Whitehead (2007); Lynch. et al. (2000); Marmot & Wilkinson (2006); WHO (2008). Methods: Charmaz (2006); Flick (2009); Strauss & Corbin (1990). Resilience: Cutuli & Masten (2009); Luthar (2006).

Constitutive modeling of ice in the high strain rate regime

The objective of the present work is to propose a constitutive model for ice by considering the influence of important parameters such as strain rate dependence and pressure sensitivity on the response of the material. In this regard, the constitutive model proposed by Carney et al. (2006) is considered as a starting basis and subsequently modified to incorporate the effect of brittle cracking within a continuum damage mechanics framework. The damage is taken to occur in the form of distributed cracking within the material during impact which is consistent with experimental observations. At the point of failure, the material is assumed to be fluid-like with deviatoric stress almost dropping down to zero. The constitutive model is implemented in a general purpose finite element code using an explicit formulation. Several single element tests under uniaxial tension and compression, as well as biaxial loading are conducted in order to understand the performance of the model. Few large size simulations are also performed to understand the capability of the model to predict brittle damage evolution in un-notched and notched three point bend specimens. The proposed model predicts lower strength under tensile loading as compared to compressive loading which is in tune with experimental observations. Further the model also asserts the strain rate dependency of the strength behavior under both compressive as well as tensile loading, which also corroborates well with experimental results. (C) 2010 Elsevier Ltd. All rights reserved.