检索结果-内蒙古大学图书馆

information flow analysis of scientific workflows

JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2010年第6期76卷 390-402页

作者： Yang, Ping Lu, Shiyong Gofman, Mikhail I. Yang, Zijiang Wayne State Univ Dept Comp Sci Detroit MI 48202 USA SUNY Binghamton Dept Comp Sci Binghamton NY 13902 USA Western Michigan Univ Dept Comp Sci Kalamazoo MI 49008 USA

Recently, scientific workflows have emerged as a platform for automating and accelerating data processing and data sharing in scientific communities. Many scientific workflows have been developed for collaborative research projects that involve a number of geographically distributed organizations. Sharing of data and computation across organizations in different administrative domains is essential in such a collaborative environment. Because of the competitive nature of scientific research, it is important to ensure that sensitive information in scientific workflows can be accessed by and propagated to only authorized parties. To address this problem, we present techniques for analyzing how information propagates in scientific workflows. We also present algorithms for incrementally analyzing how information propagates upon every change to an existing scientific workflow. (C) 2009 Elsevier Inc. All rights reserved

关键词： information flow analysis Scientific workflows Hierarchical state machines

来源：评论

学校读者我要写书评

暂无评论

information flow analysis of a Knowledge Mapping-Based System for University Alumni Collaboration: a Practical Approach

引用

JOURNAL OF THE KNOWLEDGE ECONOMY 2021年第2期12卷 756-787页

作者： Anthony, Bokolo, Jr. Norwegian Univ Sci & Technol Dept Comp Sci NTNU N-7491 Trondheim Norway

The aim of this study is to integrate knowledge mapping technique by applying information flow analysis to facilitate the collaboration between the university and its alumni by developing a knowledge mapping-based system based on a designed knowledge mapping model. Questionnaire was employed to collect data from respondents in a university to evaluate the applicability of the developed system. The collected data was further analyzed using Statistical Package for Social Sciences (SPSS). Descriptive and exploratory factor analysis was carried out to analyze the collected data by deploying test of normality, reliability, validity, and factor analysis. Results from descriptive analysis reveal that the developed system is applicable in facilitating alumni collaboration. Besides, results indicate that the developed system provides holistic and comprehensive knowledge support among alumni members to improve communication. Moreover, this study offers a methodological and comprehensive procedure to support interaction and provides information to alumni members. Theoretically, this study depicts how the designed knowledge mapping model defines, organizes, and develops procedural knowledge in order to explore and address communication inadequacy among alumni members. Practically, this study utilized knowledge mapping as a technique to visualize the source and flow of tacit and explicit knowledge for university alumni collaboration.

关键词： Knowledge management Knowledge mapping information flow analysis Data flow Alumni collaboration University alumni

来源：评论

学校读者我要写书评

暂无评论

information flow analysis of scientific workflows

Information flow analysis of scientific workflows

引用

3rd International Workshop on Workflow Management and Applications in Grid Environments (WaGe2008)

关键词： information flow analysis Scientific workflows Hierarchical state machines

来源：评论

学校读者我要写书评

暂无评论

Using information flow analysis to detect implicit information leaks for web service composition

引用

Frontiers of information Technology & Electronic Engineering 2018年第4期19卷 494-502页

作者： Jia-xin JIANG Zhi-qiu HUANG Wei-wei MA Yan CAO College of Computer Science and Technology Nanjing University of Aeronautics and AstronauticsNanjing 210016China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing 210000China

information leak,which can undermine the compliance of web-service-composition business processes for some policies,is one of the major concerns in web service *** present an automated and effective approach for the detection of implicit information leaks in business process execution language(BPEL)based on information flow *** introduce an adequate meta-model for BPEL representation based on a Petri net for transformation and *** on the concept of Petri net place-based noninterference,the core contribution of this paper is the application of a Petri net reachability graph to estimate Petri net interference and thereby to detect implicit information leaks in web service *** addition,a case study illustrates the application of the approach on a concrete workflow in BPEL notation.

关键词： information flow analysis Business process execution language Petri net Interference

来源：评论

学校读者我要写书评

暂无评论

A logic for information flow analysis with an application to forward slicing of simple imperative programs

引用

SCIENCE OF COMPUTER PROGRAMMING 2007年第1期64卷 3-28页

作者： Amtoft, Torben Banerjee, Anindya Kansas State Univ Dept Comp & Informat Sci Manhattan KS 66506 USA

We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs than can be checked by extant type-based approaches in which a program is deemed insecure when it contains an insecure subprogram. The logic is based on an abstract interpretation of a "prelude" semantics which makes independence between program variables explicit. Unlike other, more precise, approaches based on Hoare logics, our approach does not require a theorem prover to generate invariants. We demonstrate the modularity of our approach by showing that a frame rule holds in our logic. Finally, we show how our logic can be applied to a program transformation, namely, forward slicing: given a derivation of a program in the logic, with the information that variable l is independent of variable h, the slicing transformation systematically creates the forward l-slice of the program: the slice contains all the commands independent of h. We show that the slicing transformation is semantics preserving. (c) 2006 Elsevier B.V. All rights reserved.

关键词： abstract interpretation denotational semantics frame rule Hoare logic information flow analysis program slicing strongest postcondition

来源：评论

学校读者我要写书评

暂无评论

Secure information sharing in social agent interactions using information flow analysis

引用

ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE 2018年 70卷 52-66页

作者： Bijani, Shahriar Robertson, David Aspinall, David Shahed Univ Comp Sci Dept Tehran Iran Univ Edinburgh Informat Sch 10 Crichton St Edinburgh Midlothian Scotland

When we wish to coordinate complex, cooperative tasks in open multi-agent systems, where each agent has autonomy and the agents have not been designed to work together, we need a way for the agents themselves to determine the social norms that govern collective behaviour. An effective way to define social norms for agent communication is through the use of interaction models such as those expressed in the Lightweight Coordination Calculus (LCC), a compact executable specification language based on logic programming and pi-calculus. Open multi-agent systems have experienced growing popularity in the multi-agent community and gain importance as large scale distributed systems become more widespread. A major practical limitation to such systems is security, because the very openness of such systems opens the doors to adversaries to exploit vulnerabilities introduced through acceptance of social norms. This paper addresses a key vulnerability of security of open multi-agent systems governed by formal models of social norms (as exemplified by LCC). A fundamental limitation of conventional security mechanisms (e.g. access control and encryption) is the inability to prevent information from being propagated. Focusing on information leakage in choreography systems using LCC, we suggest a framework to detect insecure information flows. A novel security-typed LCC language is proposed to prevent information leakage. Both static (design-time) and dynamic (run-time) security type checking are employed to guarantee no information leakage can occur in annotated agent interaction models. The proposed security type system is discussed and then formally evaluated by proving its properties. Two disadvantages of the pure dynamic analysis are its late detection and its inability to detect implicit information flows. We overcome these issues by performing static analysis. The proposed security type system supports non-interference, i.e. high-security input to the program never affect low

关键词： Multi-agent systems (MASs) Open systems Language-based security information leakage information flow analysis Lightweight Coordination Calculus (LCC)

来源：评论

学校读者我要写书评

暂无评论

Time and Probability-Based information flow analysis

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2010年第5期36卷 719-734页

作者： Lanotte, Ruggero Maggiolo-Schettini, Andrea Troina, Angelo Univ Insubria Dipartimento Sci Cultura Polit & Informaz I-22100 Como Italy Univ Pisa Dipartimento Informat I-56127 Pisa Italy Univ Turin Dipartimento Informat I-10149 Turin Italy

In multilevel systems, it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely, the so-called covert channels. Initial studies of information flow analysis were performed by abstracting away from time and probability. It is already known that systems that are proven to be secure in a possibilistic framework may turn out to be insecure when time or probability is considered. Recently, work has been done in order to consider also aspects either of time or of probability, but not both. In this paper, we propose a general framework based on Probabilistic Timed Automata, where both probabilistic and timing covert channels can be studied. We define a Noninterference security property and a Nondeducibility on Composition security property, which allow expressing information flow in a timed and probabilistic setting. We then compare these properties with analogous ones defined in contexts where either time or probability or neither of them are taken into account. This permits a classification of the properties depending on their discerning power. As an application, we study a system with covert channels that we are able to discover by applying our techniques.

关键词： Probabilistic timed automata multilevel security information flow analysis weak bisimulation

来源：评论

学校读者我要写书评

暂无评论

Automated information flow analysis for Integrated Computing-in-Memory Modules 21

Automated Information Flow Analysis for Integrated Computing...

引用

21st IEEE Interregional NEWCAS Conference (NEWCAS)

作者： Reimann, Lennart M. Staudigl, Felix Leupers, Rainer Rhein Westfal TH Aachen Aachen Germany

ISBN: (纸本)9798350300246

Novel non-volatile memory (NVM) technologies offer high-speed and high-density data storage. In addition, they overcome the von Neumann bottleneck by enabling computing-in-memory (CIM). Various computer architectures have been proposed to integrate CIM blocks in their design, forming a mixed-signal system to combine the computational benefits of CIM with the robustness of conventional CMOS. Novel electronic design automation (EDA) tools are necessary to design and manufacture these so-called neuromorphic systems. Furthermore, EDA tools must consider the impact of security vulnerabilities, as hardware security attacks have increased in recent years. Existing information flow analysis (IFA) frameworks offer an automated tool-suite to uphold the confidentiality property for sensitive data during the design of hardware. However, currently available mixed-signal EDA tools are not capable of analyzing the information flow of neuromorphic systems. To illustrate the shortcomings, we develop information flow protocols for NVMs that can be easily integrated in the already existing tool-suites. We show the limitation of the state-of-the-art by analyzing the flow from sensitive signals through multiple memristive crossbar structures to potential untrusted components and outputs. Finally, we provide a thorough discussion of the merits and flaws of the mixed-signal IFA frameworks on neuromorphic systems.

关键词： information flow analysis neuromorphic computing confidentiality

来源：评论

学校读者我要写书评

暂无评论

Collaboration-oriented information flow analysis and control for Mobile Cloud 3

Collaboration-oriented information flow analysis and control...

引用

3rd IEEE International Conference on Computational Intelligence and Communication Technology (CICT)

作者： Su, Ziyi Ge, Fuyong Ma, Fangyuan Peng, Yong Song, Changda Biennier, Frederique Northeast Normal Univ Sch Comp Sci & Informat Technol Changchun Jilin Peoples R China Sunshine Ensurance Co Ltd Beijing Peoples R China Univ Lyon INSA Lyon Lab LIRIS CNRS Ave Albert Einstein Villeurbanne France

ISBN: (纸本)9781509062188

This paper presents a functional design of a 'information flow analysis' service that provides information/data owner with a explicit and end-to-end provenance recording of information/data usage and redissemnation among entities in a collaborative context of Mobile Cloud. The core idea is to identify data exchanged among nodes in the business process. BPEL-defined business process is used as a study case. Experiments show the service to scale well with complex processes and to have trivial performance impact when deployed with an orchestration service.

关键词： component: collaborative Mobile Mobile Cloud context information flow analysis information flow control context slicing BPEL

来源：评论

学校读者我要写书评

暂无评论

Property Specific information flow analysis for Hardware Security Verification 37

Property Specific Information Flow Analysis for Hardware Sec...

引用

37th IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

作者： Hu, Wei Ardeshiricham, Armaiti Gobulukoglu, Mustafa S. Wang, Xinmu Kastner, Ryan Northwestern Polytech Univ Xian 710072 Shaanxi Peoples R China Univ Calif San Diego La Jolla CA 92093 USA

ISBN: (纸本)9781450359504

Hardware information flow analysis detects security vulnerabilities resulting from unintended design flaws, timing channels, and hardware Trojans. These information flow models are typically generated in a general way, which includes a significant amount of redundancy that is irrelevant to the specified security properties. In this work, we propose a property specific approach for information flow security. We create information flow models tailored to the properties to be verified by performing a property specific search to identify security critical paths. This helps find suspicious signals that require closer inspection and quickly eliminates portions of the design that are free of security violations. Our property specific trimming technique reduces the complexity of the security model;this accelerates security verification and restricts potential security violations to a smaller region which helps quickly pinpoint hardware security vulnerabilities.

关键词： Hardware security security verification information flow analysis security property design methodology

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：