Published by Nordic Council of Ministers on 08/20/2019
Book details: 125 pages.
Published by Springer Science & Business Media on 12/06/2012
Book details: 200 pages.
Published by Nordic Council of Ministers on 08/20/1996
Book details: 231 pages.
With the increasing personalization of the Web, many websites allow users to create their own personal accounts. This has resulted in Web users often having many accounts on different websites, to which they need to authenticate in order to gain access. Unfortunately, there are several security problems connected to the use and re-use of passwords, the most prevalent authentication method currently in use, including eavesdropping and replay attacks. Several alternative methods have been proposed to address these shortcomings, including the use of hardware authentication devices. However, these more secure authentication methods are often not adapted for mobile Web users who use different devices in different places and in untrusted environments, such as public Wi-Fi networks, to access their accounts. We have designed a method for comparing, evaluating and designing authentication solutions suitable for mobile users and untrusted environments. Our method leverages the fact that mobile users often bring their own cell phones, and also takes into account different levels of security adapted for different services on the Web. Another important trend in the authentication landscape is that an increasing number of websites use third-party authentication. This is a solution where users have an account on a single system, the identity provider, and this one account can then be used with multiple other websites. In addition to requiring fewer passwords, these services can also in some cases implement authentication with higher security than passwords can provide. How websites select their third-party identity providers has privacy and security implications for end users. To better understand the security and privacy risks with these services, we present a data collection methodology that we have used to identify and capture third-party authentication usage on the Web. We have also characterized the third-party authentication landscape based on our collected data, outlining which types of third-parties are used by which types of sites, and how usage differs across the world. Using a combination of large-scale crawling, longitudinal manual testing, and in-depth login tests, our characterization and analysis has also allowed us to discover interesting structural properties of the landscape, differences in the cross-site relationships, and how the use of third-party authentication is changing over time. Finally, we have also outlined what information is shared between websites in third-party authentication, dened risk classes based on shared data, and proled privacy leakage risks associated with websites and their identity providers sharing data with each other. Our ndings show how websites can strengthen the privacy of their users based on how these websites select and combine their third-parties and the data they allow to be shared.
Published by Linköping University Electronic Press on 08/22/2016
Book details: 64 pages.
This multidisciplinary book covers all aspects of planning, designing, establishing and managing forests and trees and forests in and near urban areas, with chapters by experts in forestry, horticulture, landscape ecology, landscape architecture and even plant pathology. Beginning with historical and conceptual basics, the coverage includes policy, design, implementation and management of forestry for urban populations.
Published by Springer Science & Business Media on 12/27/2005
Book details: 520 pages.
The ReNo network has consolidated knowledge on ecological restoration work in the Nordic region and facilitated exchange of this knowledge within and between the Nordic countries. Scientific papers, reports on the status of restoration, guidebooks on restoration, and analyses of ecological restoration in the area have been published as a result of the network. Ecosystem degradation is a problem in all the Nordic countries, but varies in nature, severity and scale between the countries. In order to counteract present and past ecological degradation, all the Nordic countries emphasise ecological restoration, but to various degrees. Ecological restoration has the potential to make a critical contribution for the benefit of the global environment and human living conditions. The ReNo network recommends that this important activity should be prioritized in Nordic environmental policy.
Published by Nordic Council of Ministers on 11/20/2012
Book details: 65 pages.
Domino reactions enable you to build complex structures in one-pot reactions without the need to isolate intermediates- a dream comes true. In this book, the well-respected expert, Professor Lutz Tietze, summarizes the possibilities of this reaction type - an approach for an efficiant, economically benificial and ecological benign synthesis. A definite must for every organic chemist.
Published by John Wiley & Sons on 12/13/2006
Book details: 631 pages.
The Semantic Web provides a framework for semantically annotating data on the web, and the Resource Description Framework (RDF) supports the integration of structured data represented in heterogeneous formats. Traditionally, the Semantic Web has focused primarily on more or less static data, but information on the web today is becoming increasingly dynamic. RDF Stream Processing (RSP) systems address this issue by adding support for streaming data and continuous query processing. To some extent, RSP systems can be used to perform complex event processing (CEP), where meaningful high-level events are generated based on low-level events from multiple sources; however, there are several challenges with respect to using RSP in this context. Event models designed to represent static event information lack several features required for CEP, and are typically not well suited for stream reasoning. The dynamic nature of streaming data also greatly complicates the development and validation of RSP queries. Therefore, reusing queries that have been prepared ahead of time is important to be able to support real-time decision-making. Additionally, there are limitations in existing RSP implementations in terms of both scalability and expressiveness, where some features required in CEP are not supported by any of the current systems. The goal of this thesis work has been to address some of these challenges and the main contributions of the thesis are: (1) an event model ontology targeted at supporting CEP; (2) a model for representing parameterized RSP queries as reusable templates; and (3) an architecture that allows RSP systems to be integrated for use in CEP. The proposed event model tackles issues specifically related to event modeling in CEP that have not been sufficiently covered by other event models, includes support for event encapsulation and event payloads, and can easily be extended to fit specific use-cases. The model for representing RSP query templates was designed as an extension to SPIN, a vocabulary that supports modeling of SPARQL queries as RDF. The extended model supports the current version of the RSP Query Language (RSP-QL) developed by the RDF Stream Processing Community Group, along with some of the most popular RSP query languages. Finally, the proposed architecture views RSP queries as individual event processing agents in a more general CEP framework. Additional event processing components can be integrated to provide support for operations that are not supported in RSP, or to provide more efficient processing for specific tasks. We demonstrate the architecture in implementations for scenarios related to traffic-incident monitoring, criminal-activity monitoring, and electronic healthcare monitoring.
Published by Linköping University Electronic Press on 10/30/2017
Book details: 149 pages.
Volume 11 of the Handbook of Green Chemistry series identifies, explains and expands on green chemistry and engineering metrics, describing how the two work together, backed by numerous practical applications. Up-to-date and authoritative, this ready reference covers the development and application of sustainable chemistry along with engineering metrics in both academia and industry, providing the latest information on fundamental aspects of metrics, practical realizations and example case studies. Additionally, it outlines how metrics have been used to facilitate developments in sustainable and green chemistry. The different concepts of and approaches to metrics are applied to fundamental problems in chemistry and the focus is firmly placed on their use to promote the development and implementation of more sustainable and green chemistry and technology in the production of chemicals and related products. Starting with molecular design, followed by chemical route evaluation, chemical process metrics and product assessment, by the end readers will have a complete set of metrics to choose from as they move a chemical conception to final product. Of high interest to academics and chemists working in industry.
Published by John Wiley & Sons on 02/01/2018
Book details: 400 pages.
Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. However, current state-of-the-art tools do not provide the user with enough information when errors appear or simulation results are wrong. It is of paramount importance that such tools should give the user enough information to correct errors or understand where the problems that lead to wrong simulation results are located. However, understanding the model translation process of an EOO compiler is a daunting task that not only requires knowledge of the numerical algorithms that the tool executes during simulation, but also the complex symbolic transformations being performed. As part of this work, methods have been developed and explored where the EOO tool, an enhanced Modelica compiler, records the transformations during the translation process in order to provide better diagnostics, explanations, and analysis. This information is used to generate better error-messages during translation. It is also used to provide better debugging for a simulation that produces unexpected results or where numerical methods fail. Meeting deadlines is particularly important for real-time applications. It is usually essential to identify possible bottlenecks and either simplify the model or give hints to the compiler that enable it to generate faster code. When profiling and measuring execution times of parts of the model the recorded information can also be used to find out why a particular system model executes slowly. Combined with debugging information, it is possible to find out why this system of equations is slow to solve, which helps understanding what can be done to simplify the model. A tool with a graphical user interface has been developed to make debugging and performance profiling easier. Both debugging and profiling have been combined into a single view so that performance metrics are mapped to equations, which are mapped to debugging information. The algorithmic part of Modelica was extended with meta-modeling constructs (MetaModelica) for language modeling. In this context a quite general approach to debugging and compilation from (extended) Modelica to C code was developed. That makes it possible to use the same executable format for simulation executables as for compiler bootstrapping when the compiler written in MetaModelica compiles itself. Finally, a method and tool prototype suitable for speeding up simulations has been developed. It works by partitioning the model at appropriate places and compiling a simulation executable for a suitable parallel platform.
Published by Linköping University Electronic Press on 05/11/2015
Book details: 276 pages.