| 11. |
- Tuma, Katja, 1991, et al.
(författare)
-
Flaws in Flows : Unveiling Design Flaws via Information Flow Analysis
- 2019
-
Ingår i: Proceedings - 2019 IEEE International Conference on Software Architecture, ICSA 2019. - : IEEE. - 9781728105284 ; , s. 191-200
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a practical and formal approach to analyze security-centric information flow policies at the level of the design model. Specifically, we focus on data confidentiality and data integrity objectives. In its guiding principles, the approach is meant to be amenable for designers (e.g., software architects) that have very limited or no background in formal models, logics, and the like. To this aim, we provide an intuitive graphical notation, which is based on the familiar Data Flow Diagrams, and which requires as little effort as possible in terms of extra security-centric information the designer has to provide. The result of the analysis algorithm is the early discovery of design flaws in the form of violations of the intended security properties. The approach is implemented as a publicly available plugin for Eclipse and evaluated with four real-world case studies from publicly available literature.
|
|
| 12. |
- Lambers, L., et al.
(författare)
-
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach
- 2019
-
Ingår i: Journal of Logical and Algebraic Methods in Programming. - : Elsevier BV. - 2352-2208 .- 2352-2216. ; 103, s. 105-129
-
Tidskriftsartikel (refereegranskat)abstract
- Conflict and dependency analysis (CDA) is a static analysis for the detection of conflicting and dependent rule applications in a graph transformation system. The state-of-the-art CDA technique, critical pair analysis, provides all potential conflicts and dependencies in minimal context as critical pairs, for each pair of rules. Yet, critical pairs can be hard to understand; users are mainly interested in core information about conflicts and dependencies occurring in various combinations. In this paper, we present an approach to conflicts and dependencies in graph transformation systems based on two dimensions of granularity. The first dimension refers to the overlap considered between the rules of a given rule pair; the second one refers to the represented amount of context information about transformations in which the conflicts occur. We introduce a variety of new conflict notions, in particular, conflict atoms, conflict reasons, and minimal conflict reasons, relate them to the existing conflict notions of critical pairs and initial conflicts, and position all of these notions within our granularity approach. Finally, we introduce dual concepts for dependency analysis. As we discuss in a running example, our approach paves the way for an improved CDA technique. (C) 2018 Elsevier Inc. All rights reserved.
|
|
| 13. |
- Bernhard, David, et al.
(författare)
-
Security proofs for Participation privacy, receipt-freeness and ballot privacy for the helios voting scheme
- 2017
-
Ingår i: ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. - New York : Association for Computing Machinery (ACM). - 9781450352574
-
Konferensbidrag (refereegranskat)abstract
- The Helios voting scheme is well studied including formal proofs for verifiability and ballot privacy. However, depending on its version, the scheme provides either participation privacy (hiding who participated in the election) or verifiability against malicious bulletin board (preventing election manipulation by ballot stuffing), but not both at the same time. It also does not provide receipt-freeness, thus enabling vote buying by letting the voters construct receipts proving how they voted. Recently, an extension to Helios, further referred to as KTV-Helios, has been proposed that claims to provide these additional security properties. However, the authors of KTV-Helios did not prove their claims. Our contribution is to provide formal definitions for participation privacy and receipt-freeness that we applied to KTV-Helios. In order to evaluate the fulfillment of participation privacy and receipt-freeness, we furthermore applied the existing definition of ballot privacy, which was also used for evaluating the security of Helios, in order to show that ballot privacy also holds for KTV-Helios
|
|
| 14. |
- Fu, Keren, et al.
(författare)
-
Deepside: A general deep framework for salient object detection
- 2019
-
Ingår i: Neurocomputing. - : Elsevier BV. - 0925-2312 .- 1872-8286. ; 356, s. 69-82
-
Tidskriftsartikel (refereegranskat)abstract
- Deep learning-based salient object detection techniques have shown impressive results compared to con- ventional saliency detection by handcrafted features. Integrating hierarchical features of Convolutional Neural Networks (CNN) to achieve fine-grained saliency detection is a current trend, and various deep architectures are proposed by researchers, including “skip-layer” architecture, “top-down” architecture, “short-connection” architecture and so on. While these architectures have achieved progressive improve- ment on detection accuracy, it is still unclear about the underlying distinctions and connections between these schemes. In this paper, we review and draw underlying connections between these architectures, and show that they actually could be unified into a general framework, which simply just has side struc- tures with different depths. Based on the idea of designing deeper side structures for better detection accuracy, we propose a unified framework called Deepside that can be deeply supervised to incorporate hierarchical CNN features. Additionally, to fuse multiple side outputs from the network, we propose a novel fusion technique based on segmentation-based pooling, which severs as a built-in component in the CNN architecture and guarantees more accurate boundary details of detected salient objects. The effectiveness of the proposed Deepside scheme against state-of-the-art models is validated on 8 benchmark datasets.
|
|
| 15. |
- Haysom, Gareth, et al.
(författare)
-
Food systems sustainability: An examination of different viewpoints on food system change
- 2019
-
Ingår i: Sustainability. - : MDPI AG. - 2071-1050. ; 11:12
-
Tidskriftsartikel (refereegranskat)abstract
- Global food insecurity levels remain stubbornly high. One of the surest ways to grasp the scale and consequence of global inequality is through a food systems lens. In a predominantly urban world, urban food systems present a useful lens to engage a wide variety of urban (and global) challenges—so called ‘wicked problems.’ This paper describes a collaborative research project between four urban food system research units, two European and two African. The project purpose was to seek out solutions to what lay between, across and within the different approaches applied in the understanding of each city’s food system challenges. Contextual differences and immediate (perceived) needs resulted in very different views on the nature of the challenge and the solutions required. Value positions of individuals and their disciplinary “enclaves” presented further boundaries. The paper argues that finding consensus provides false solutions. Rather the identification of novel approaches to such wicked problems is contingent of these differences being brought to the fore, being part of the conversation, as devices through which common positions can be discovered, where spaces are created for the realisation of new perspectives, but also, where difference is celebrated as opposed to censored.
|
|
| 16. |
- Viktorelius, Martin, et al.
(författare)
-
Energy efficiency at sea : An activity theoretical perspective on operational energy efficiency in maritime transport
- 2019
-
Ingår i: Energy Research & Social Science. - : Elsevier. - 2214-6296 .- 2214-6326. ; 52, s. 1-9
-
Tidskriftsartikel (refereegranskat)abstract
- The mitigation of emission from shipping will require improvements in energy efficiency. In order to achieve this, sociotechnical changes are required, affecting all stakeholders within the shipping sector. Ship crews and their everyday work practices will play an especially important role in the transformation of the sector. It is therefore crucial to understand how new energy efficient technologies and practices are being introduced and enacted onboard ships. The case study reported in this paper investigates an attempt to improve the operational energy efficiency in a shipping company that was made by installing an energy monitoring system and introducing an energy saving policy onboard the ships in the fleet. The analytical framework in this paper is inspired by cultural-historical activity theory which is suggested as a novel and useful practice-based approach in energy studies. It is used in analyzing the contradictions and tensions in the work practices onboard the ships that preceded and followed the implementation of the energy monitoring system and energy saving policy. The empirical results revealed how the initial demand for operational energy efficiency and the subsequent introduction of the new monitoring system and policy gave rise to tensions in the existing activity systems onboard which crew members then tried, but did not always manage, to reconcile. It is concluded that a better understanding of the sociotechnical change processes, associated with organizational energy conservation and energy management, can be achieved if the situated paradoxes of practitioners’ everyday practices are examined.
|
|
| 17. |
- Huvila, Isto, Professor, 1976-, et al.
(författare)
-
Differences in Health Information Literacy Competencies Among Older Adults, Elderly and Younger Citizens
- 2019
-
Ingår i: Information Literacy in Everyday Life. - Cham : Springer. - 9783030134716 - 9783030134723 ; , s. 136-143
-
Bokkapitel (refereegranskat)abstract
- To address the research gap on age-based differences in health information literacy (HIL), we investigated how younger (born 1960–) and older adults (1946–1960), and elderly citizens (–1945) differed from each other by their HIL competencies. Data were collected with an online survey of patients using the Swedish national electronic health record system. Altogether, 2,587 users responded. One-way ANOVA with post hoc tests revealed several differences between the groups: younger adults were less likely to value health information than older adults; older adults and elderly were least likely to compare information from multiple sources and had trouble in determining health information needs; older adults were most likely to have trouble understanding health terminology and the elderly to have difficulties in understanding medicinal package labels. The study shows that HIL is not necessarily improving or declining but adapting to challenges of advanced age. © 2019, Springer Nature Switzerland AG.
|
|
| 18. |
- Dodig Crnkovic, Gordana, 1955, et al.
(författare)
-
Philosophy and Methodology of Information: The Study of Information in the Transdisciplinary Perspective
- 2019
-
Ingår i: Philosophy And Methodology Of Information: The Study Of Information In The Transdisciplinary Perspective. - Singapore : WORLD SCIENTIFIC. - 9789813277526
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- The book gives up-to-date, multi-aspect exposition of the philosophy and methodology of information, and related areas within the nascent field of the study of information. It presents the most recent achievements, ideas and opinions of leading researchers in this domain, as well as from physicists, biologists and social scientists. Collaboration of researchers from different areas and fields opens new perspectives for the understanding of information essential in the innovative development of science, technology and society. The book is meant for readers conducting research into any aspect of information, information society and information technology. The ideas presented give new insights for those who develop or implement scientific, technological or social applications. They are especially for those who are participating in setting the goals for science in general and sciences of information in particular.
|
|
| 19. |
- Waddington, Simon, et al.
(författare)
-
PERICLES – Digital Preservation through Management of Change in Evolving Ecosystems.
- 2016
-
Ingår i: The Success of European Projects Using New Information and Communication Technologies. - Setubal, Portugal. - 9789897581762 ; , s. 51-74
-
Konferensbidrag (refereegranskat)abstract
- Management of change is essential to ensure the long-term reusabilityof digital assets. Change can be brought about in many ways, includingthrough technological, user community and policy factors. Motivated by casestudies in space science and time-based media, we consider the impact ofchange on complex digital objects comprising multiple interdependent entities,such as files, software and documentation. Our approach is based on modellingof digital ecosystems, in which abstract representations are used to assess risksto sustainability and support tasks such as appraisal. The paper is based onwork of the EU FP7 PERICLES project on digital preservation, and presentssome general concepts as well as a description of selected research areas underinvestigation by the project.
|
|
| 20. |
- Huvila, Isto, 1976-
(författare)
-
Situational appropriation of information
- 2015
-
Ingår i: Aslib Journal of Information Management. - 2050-3806. ; 67:5, s. 492-504
-
Tidskriftsartikel (refereegranskat)abstract
- Purpose In contrast to the interest of describing and managing the social processes of knowing, information science and information and knowledge management research have put less emphasis on discussing how particular information becomes usable and how it is used in different contexts and situations. The purpose of this paper is to address this major gap, and introduce and discuss the applicability of the notion of situational appropriation of information for shedding light on this particular process in the context of daily information work practices of professionals. Design/methodology/approach The study is based on the analysis of 25 qualitative interviews of archives, library and museum professionals conducted in two Nordic countries. Findings The study presents examples of how individuals appropriate different tangible and intangible assets as information on the basis of the situation in hand. Research limitations/implications The study proposes a new conceptual tool for articulating and conducting research on the process how information becomes useful in the situation in hand. Practical implications The situational appropriation of information perspective redefines the role of information management to incorporate a comprehensive awareness of the situations when information is useful and is being used. A better understanding how information becomes useful in diverse situations helps to discern the active role of contextual and situational effects and to exploit and take them into account as a part of the management of information and knowledge processes. Originality/value In contrast to orthodoxies of information science and information and knowledge management research, the notion of situational appropriation of information represents an alternative approach to the conceptualisation of information utilisation. It helps to frame particular types of instances of information use that are not necessarily addressed within the objectivistic, information seeker or learning oriented paradigms of information and knowledge management.
|
|
