Checking and Enforcing Security through Opacity in Healthcare Applications

The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT in health care against interference, including service attacks and malwares, is challenging. Opacity is a confidentiality property capturing a system's ability to keep a subset of its behavior hidden from passive observers. In this work, we seek to introduce an IoT-based heart attack detection system, that could be life-saving for patients without risking their need for privacy through the verification and enforcement of opacity. Our main contributions are the use of a tool to verify opacity in three of its forms, so as to detect privacy leaks in our system. Furthermore, we develop an efficient, Symbolic Observation Graph (SOG)-based algorithm for enforcing opacity

The Financial Structure of Startup Firms: The Role of Assets, Information, and Entrepreneur Characteristics

Using the Kauffman Firm Survey, we examine how characteristics of a startup's assets, information about the startup, and entrepreneur attributes relate to financial structure at inception. Startups with more physical assets or those where the entrepreneurs have other similar businesses are more likely to use external debt in the financial structure since these assets have a high liquidation value. Startups with human capital embodied in the entrepreneur or intellectual property assets have a lower probability of using debt, consistent with the higher asset specificity and lower collateral value of these assets. Startups characterized as small, unincorporated, solo, first-time, or home-office-based are more likely to be financed by self, family and friends, and importantly through credit cards, as these have both highly specific assets and information opacity. More educated founders and non-African American founders are more likely to be financed by external sources. Controlling for other attributes of the startup, the financial structure of women-owned startups does not differ from that of other startups. Hi-tech startups' financial structure differs significantly from that of startups in other business sectors.Capital Structure, Asset Specificity, Information Opacity, Startup Financing

Measuring soot particles from automotive exhaust emissions

The European Metrology Research Programme participating countries and the European Union jointly fund a three year project to address the need of the automotive industry for a metrological sound base for exhaust measurements. The collaborative work on particle emissions involves five European National Metrology Institutes, the Tampere University of Technology, the Joint Research Centre for Energy and Transport and the Leibniz Institute for Tropospheric Research. On one hand, a particle number and size standard for soot particles is aimed for. Eventually this will allow the partners to provide accurate and comparable calibrations of measurement instruments for the type approval of Euro 5b and Euro 6 vehicles. Calibration aerosols of combustion particles, silver and graphite proof partially suitable. Yet, a consensus choice together with instrument manufactures is pending as the aerosol choice considerably affects the number concentration measurement. Furthermore, the consortium issued consistent requirements for novel measuring instruments foreseen to replace today’s opacimeters in regulatory periodic emission controls of soot and compared them with European legislative requirements. Four partners are conducting a metrological validation of prototype measurement instruments. The novel instruments base on light scattering, electrical, ionisation chamber and diffusion charging sensors and will be tested at low and high particle concentrations. Results shall allow manufacturers to further improve their instruments to comply with legal requirements

Knowledge Discovery in the SCADA Databases Used for the Municipal Power Supply System

This scientific paper delves into the problems related to the develop-ment of intellectual data analysis system that could support decision making to manage municipal power supply services. The management problems of mu-nicipal power supply system have been specified taking into consideration modern tendencies shown by new technologies that allow for an increase in the energy efficiency. The analysis findings of the system problems related to the integrated computer-aided control of the power supply for the city have been given. The consideration was given to the hierarchy-level management decom-position model. The objective task targeted at an increase in the energy effi-ciency to minimize expenditures and energy losses during the generation and transportation of energy carriers to the Consumer, the optimization of power consumption at the prescribed level of the reliability of pipelines and networks and the satisfaction of Consumers has been defined. To optimize the support of the decision making a new approach to the monitoring of engineering systems and technological processes related to the energy consumption and transporta-tion using the technologies of geospatial analysis and Knowledge Discovery in databases (KDD) has been proposed. The data acquisition for analytical prob-lems is realized in the wireless heterogeneous medium, which includes soft-touch VPN segments of ZigBee technology realizing the 6LoWPAN standard over the IEEE 802.15.4 standard and also the segments of the networks of cellu-lar communications. JBoss Application Server is used as a server-based plat-form for the operation of the tools used for the retrieval of data collected from sensor nodes, PLC and energy consumption record devices. The KDD tools are developed using Java Enterprise Edition platform and Spring and ORM Hiber-nate technologies