Runtime Control of a Program based on Quantitative Information Flow
スポンサーリンク
概要
- 論文の詳細を見る
Quantitative information flow is a new notion based on information theory for expressing how much a program leaks information to an external observer. We propose a runtime control method of a program by inserting a filter into the program so that the quantitative information flow of the program does not exceed a threshold given as a security requirement. We also report on the experiments conducted by a prototype system based on bounded model checking and model counting of a Boolean formula.
- 一般社団法人電子情報通信学会の論文
- 2014-01-23
著者
-
Seki Hiroyuki
Graduate School Of Information Science Nara Institute Of Science And Technology
-
Hashimoto Kenji
Graduate School Of Creative Science And Engineering Waseda University
-
HASHIMOTO Kenji
Graduate School of Information Science, Nagoya University
-
CHU BaoTrung
Graduate School of Information Science, Nara Institute of Science and Technology
関連論文
- Verification of the Security against Inference Attacks on XML Databases
- A Formal Approach to Detecting Security Flaws in Object-Oriented Databases (Special Issue on New Generation Database Technologies)
- An Authorization Model for Object-Oriented Databases and Its Efficient Access Control
- Assignment of Data Types to Words in a Natural Language Specification
- Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications
- RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar
- RIGHT-LINEAR FINITE PATH OVERLAPPING REWRITE SYSTEMS EFFECTIVELY PRESERVE RECOGNIZABILITY
- A Polynomial Time Learning Algorithm for Recognizable Series
- A Polynomial-Time Recognizable Subclass of Lexical-Functional Grammars
- A Note on Inadequacy of the Model for Learning from Queries
- A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power
- New certificate chain discovery methods for trust establishment in ad hoc networks and their evaluation (特集:次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
- Policy Controlled System and Its Model Checking
- Decidability of the Security Verification Problem for Programs with Stack Inspection
- Disturbance Compensation Control for a Biped Vehicle
- Tree Automaton with Tree Memory
- Static Analysis for k-secrecy against Inference Attacks
- An Efficient Method for Optimal Probe Deployment of Distributed IDS(Dependable Computing)
- RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar
- Deciding Schema k-Secrecy for XML Databases
- A Static Analysis using Tree Automata for XML Access Control
- New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation
- New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation
- Runtime Control of a Program based on Quantitative Information Flow