Search
Search Results
-
Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform
AbstractFormal proof of security measure effectiveness and computation security is vitally important for trust in critical information systems. It...
-
Data-Flow Analysis and Optimisation
Most compilers perform some optimisations on the code that is generated by the main phases of the compiler. These optimisations often follow a common... -
Information flow control for comparative privacy analyses
The prevalence of web tracking and its key characteristics have been extensively investigated by the research community by means of large-scale web...
-
Axiomatising an information flow logic based on partial equivalence relations
We present a relational program logic for reasoning about information flow properties formalised in an assertion language based on partial...
-
A correlation information-based spatiotemporal network for traffic flow forecasting
Traffic flow forecasting technology plays an important role in intelligent transportation systems. Based on graph neural networks and attention...
-
Development and Research of Models for Optimization Information Flow in Interactive Analysis Big Data in Geographic Information Systems
A large number of areas of application of geographic information systems (GIS) involves the continuous accumulation data. The need to record the... -
A spatio-temporal grammar graph attention network with adaptive edge information for traffic flow prediction
Traffic flow prediction is an essential part of the intelligent traffic management system, which can help managers plan and maintain traffic order...
-
Isadora: automated information-flow property generation for hardware security verification
Isadora is a specification mining tool for creating information-flow properties for hardware. Isadora combines hardware information-flow tracking and...
-
An Automated Quantitative Information Flow Analysis for Concurrent Programs
Quantitative information flow is a rigorous approach for evaluating the security of a system. It is used to quantify the amount of secret information... -
Awas: AADL information flow and error propagation analysis framework
The continued maturation of industry standard architecture description languages is providing a foundation for more sophisticated analyses earlier in...
-
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference
In the realm of sound object-oriented program analyses for information-flow control, very few approaches adopt flow-sensitive abstractions of the... -
Information Flow Guided Synthesis
Compositional synthesis relies on the discovery of assumptions, i.e., restrictions on the behavior of the remainder of the system that allow a... -
Information Flow Control in Software DB Units Based on Formal Verification
AbstractBy now, a large number of studies in the field of formal models of computer systems security have been performed. In this paper, we do not...
-
IVIPAT: an in-vehicle information processing analysis tool to optimize user interaction flows
This research introduces IVIPAT: an in-vehicle information processing analysis tool. The tool consists of a taxonomy (e.g., filter, search,...
-
Intelligent control method of main road traffic flow based on multi-sensor information fusion
In the process of collecting traffic information, traditional traffic flow control methods have some problems, such as high loss rate of sensing and...
-
Vessel Traffic Flow Prediction and Analysis Based on Ship Big Data
In the face of the development of the waterway collaboration transportation, the big data analysis of the waterborne transport has become a hot topic... -
Dynamic Data-Flow Analysis with Dacite: Evaluating an Integrated Data-Flow Visualization Approach
According to different studies, analyzing the data-flow coverage when testing programs is a highly effective approach to ensure software quality.... -
Leveraging Information Flow-Based Fuzzy Cognitive Maps for Interpretable Fault Diagnosis in Industrial Robotics
In Industry 4.0, Artificial Intelligence (AI) is revolutionizing manufacturing with innovations such as automated fault detection in robotics.... -
-
Spacecraft Information Flow Collaborative Design Model and Application
To depict information flow structure of spacecraft system, the paper introduced information flow analysis method and defined tow information flow...